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 | |
|---|---|---|---|---|
| Notes from the CoqPL 2024 Q/A session | 9 | 568 | January 29, 2024 | |
| Newbie Needs Tutor on ZOOM | 1 | 639 | October 14, 2021 | |
| Coq Hackaton Winter 2022 edition | 6 | 1238 | February 14, 2022 | |
| Coq Community Survey 2022 Results: Part IV and ITP paper announcement | 0 | 6624 | July 28, 2023 | |
| MetaOCaml in Coq | 0 | 479 | June 7, 2020 |