Geeks
trommler
/
calc-comp
Coq proofs for the paper "Calculating Correct Compilers"
Primary Language
Coq
calc-comp GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
siraben
Yale University