Awesome Lists
Top Projects
Most Links
Search
About
Add Project
StructTact
Coq utility and tactic library.
GitHub
21
stars
31
watching
8
forks
Language:
Coq
last commit:
10 months ago
coq
coq-library
tactics