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 | |
|---|---|---|---|---|
| Looking for a Coq Tutor | 1 | 84 | April 28, 2025 | |
| Notes from the CoqPL 2024 Q/A session | 9 | 586 | January 29, 2024 | |
| Any good resources on extracting Coq to other languages? | 0 | 34 | May 18, 2025 | |
| Newbie Needs Tutor on ZOOM | 1 | 650 | October 14, 2021 | |
| Coq Hackaton Winter 2022 edition | 6 | 1259 | February 14, 2022 |