Giters
coq-ext-lib
Geek Repo
Github PK Tool:
Github PK Tool
coq-ext-lib's repositories
coq-compile
A compiler for Coq
Language:
Coq
License:
MIT
Stargazers:
26
Issues:
4
Issues:
23
