A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Repository Index
72,862 visible repositories in the index
1–6 of 6 · Most stars
IO for Gallina
- coq
- ocaml
- extraction
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
a version of the 2048 game for Coq
Reimplementation of Natural Number Game in Coq