Coq-Equations

A function definition package for Coq

License

GNU Lesser General Public License v2.1

A function definition package for Coq

Creator

mattam82

Related apps