coq-in-coq
by rocq-archive
Coqpushed about 2 years ago
A formalisation of the Calculus of Constructions
AI summary
Compiler verification project
A formalization of a theoretical programming language in Coq to verify its correctness and extract a certified compiler
- stars
- 66
- forks
- 7
- watching
- 13