calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

GitHub

30 stars
3 watching
2 forks
Language: Coq
last commit: 10 months ago