Announcements
| Topic | Replies | Activity |
|---|---|---|
| std++ 1.2 | 4 | May 4, 2019 |
| Coq Users and Developers Workshop 2019 -- Call for participation | 1 | May 3, 2019 |
| Plugin for proof reuse with indexed types for Coq 8.8.0 | 1 | April 1, 2019 |
| Equations 1.2beta2 | 1 | March 19, 2019 |
| [CFP] The Coq Workshop 2019 | 1 | March 15, 2019 |
| A library of undecidable problems for Coq | 1 | February 26, 2019 |