coquedille

A Coq to Cedille compiler written in Coq

GitHub

33 stars
6 watching
2 forks
Language: Coq
last commit: about 4 years ago