Geeks
JasonGross
/
coq-tactics
Collection of tactics I've found useful in Coq
Primary Language
Coq
MIT License
MIT
coq-tactics GitHub
Markdown
Readme
0
Issues
11
Stargazers
3
Watchers
coq-tactics
Collection of tactics I've found useful in Coq