tchajed / coq-io
Modeling I/O in Coq using free monads
☆9Updated 6 years ago
Related projects: ⓘ
- Mtac in Agda☆28Updated 3 years ago
- a version of the 2048 game for Coq☆22Updated 10 months ago
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…