Reviews
A generic goal preprocessing tool for proof automation tactics in Coq
Search similar apps
License
GNU Lesser General Public License v3.0
A generic goal preprocessing tool for proof automation tactics in Coq
Creator
A generic goal preprocessing tool for proof automation tactics in Coq
GNU Lesser General Public License v3.0
A generic goal preprocessing tool for proof automation tactics in Coq