coq-compile

A compiler for Coq

Archived

GitHub

26 stars
4 watching
2 forks
Language: Coq
last commit: over 11 years ago