Has anyone studied the CertiuCOS2 project? The code looks abstract without comments, and I’m looking for someone to study it with.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| About the Learning category | 1 | 1206 | February 12, 2019 | |
| Bienvenidos a ¡Rocq en español! | 1 | 765 | February 25, 2019 | |
| Coq Community Survey 2022 Results: Part IV and ITP paper announcement | 0 | 10811 | July 28, 2023 | |
| Rocq Platform Docs: announcement and call to contribution | 0 | 52 | March 26, 2025 | |
| О категории "Coq на русском" | 0 | 1411 | February 26, 2019 |