A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Repository Index
72,862 visible repositories in the index
1–4 of 4 · Most stars
72,862 visible repositories in the index
1–4 of 4 · Most stars
A Verified Compiler for Gallina, Written in Gallina
IO for Gallina
Micromega tactics for Mathematical Components
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]