There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Rocq Prover questions there (use the rocq-prover tag).
2 Likes
There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Rocq Prover questions there (use the rocq-prover tag).