remix7531 @remix7531 1770043590 Check out my latest post "Learning Rocq with Software Foundations": https://remix7531.com/post/learning-rocq-with-software-foundations/
