by coq-ext-lib
A compiler for Coq
Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.
