mattam82 / Coq-Equations

A function definition package for Coq
229Updated 2 weeks ago

Alternatives and similar repositories for Coq-Equations:

Users that are interested in Coq-Equations are comparing it to the libraries listed below