https://github.com/mattam82/coq-equations

A function definition package for Coq
https://github.com/mattam82/coq-equations

coq dependent-types programming-language

Last synced: 8 months ago
JSON representation

A function definition package for Coq

• Host: GitHub
• URL: https://github.com/mattam82/coq-equations
• Owner: mattam82
• License: lgpl-2.1
• Created: 2009-10-27T16:20:28.000Z (over 16 years ago)
• Default Branch: 8.20
• Last Pushed: 2025-09-25T09:19:58.000Z (9 months ago)
• Last Synced: 2025-09-25T11:28:46.374Z (9 months ago)
• Topics: coq, dependent-types, programming-language
• Language: Coq
• Homepage: http://mattam82.github.io/Coq-Equations
• Size: 59 MB
• Stars: 233
• Watchers: 9
• Forks: 49
• Open Issues: 91
• Metadata Files:
  • Readme: README.dev
  • Changelog: CHANGES.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Developers:

===============

To use merlin and make the documentation, you need a Coq with a findlib META

file. Then you can use [make apidoc] to build the html version of the ocaml API.