Matafou / LibHypsLinks

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

Alternatives and similar repositories for LibHyps

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

Sorting: