Skip to content

GitLab

Explore

Sign in

C

certicoq

Project information

A Verified Compiler for Gallina, Written in Gallina

2,222 Commits
2 Branches
0 Tags

README
MIT License

Created on

September 20, 2024

Copy SSH clone URLgit@gitup.uni-potsdam.de:rsa/compilers/certicoq.git
Copy HTTPS clone URLhttps://gitup.uni-potsdam.de/rsa/compilers/certicoq.git

Loading