LibHyps
A Coq library providing tactics to deal with hypothesis
20 stars
3 watching
3 forks
Language: Coq
last commit: 10 months ago
Linked from 2 awesome lists
coqformal-proofshypothesisproof-assistanttacticaltactics
LibHyps A Coq library providing tactics to deal with hypothesis
coq-community/awesome-coq
uhub/awesome-coq