meeting
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Join us June 29-July 3 in Lausanne for Rocq'n'Share 2026! |
|
0 | 94 | February 4, 2026 |
| Notes from the CoqPL 2024 Q/A session |
|
9 | 660 | January 29, 2024 |
| Coq Hackaton Winter 2022 edition |
|
6 | 1361 | February 14, 2022 |