A Verified Compiler for Gallina, Written in Gallina
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Convert Haskell source code to Coq source code.
- coq
- haskell
47,133 repositories indexed
1–2 of 2 · Most stars
A Verified Compiler for Gallina, Written in Gallina
Convert Haskell source code to Coq source code.