Matafou / LibHyps

A Coq library providing tactics to deal with hypothesis
21Updated 2 months ago

Alternatives and similar repositories for LibHyps:

Users that are interested in LibHyps are comparing it to the libraries listed below