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).
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| About the Developing the Rocq Prover category | 1 | 690 | February 12, 2019 | |
| Feb 23: Proof Assistant WG at ENS de Lyon | 1 | 106 | March 18, 2026 | |
| About the Learning category | 1 | 1209 | February 12, 2019 | |
| New proof assistant working group at ENS de Lyon | 3 | 251 | March 17, 2026 | |
| Coq be an actual proof assist tool | 4 | 181 | January 6, 2025 |