Awesome Lists
Top Projects
Most Links
Search
About
Add Project
calc-comp
Coq proofs for the paper "Calculating Correct Compilers"
GitHub
30
stars
3
watching
2
forks
Language:
Coq
last commit:
10 months ago