plclub / lngenLinks

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
32Updated 7 months ago

Alternatives and similar repositories for lngen

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

Sorting: