trakt
A generic goal preprocessing tool for proof automation tactics in Coq
14 stars
2 watching
7 forks
Language: Prolog
last commit: 8 months ago
Linked from 1 awesome list
A generic goal preprocessing tool for proof automation tactics in Coq