coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
128 stars
16 watching
46 forks
Language: Coq
last commit: 18 days ago
Linked from 2 awesome lists
coqcoq-cicoq-platformlibraryprogramming
uhub/awesome-coq