Reviews
A Coq library providing tactics to deal with hypothesis
Search similar apps
License
MIT License
A Coq library providing tactics to deal with hypothesis
Creator
A Coq library providing tactics to deal with hypothesis
MIT License
A Coq library providing tactics to deal with hypothesis