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: 11 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: main
• Last Pushed: 2024-10-14T09:30:40.000Z (over 1 year ago)
• Last Synced: 2024-10-30T01:43:37.499Z (over 1 year ago)
• Topics: coq, dependent-types, programming-language
• Language: Coq
• Homepage: http://mattam82.github.io/Coq-Equations
• Size: 58.8 MB
• Stars: 223
• Watchers: 10
• Forks: 44
• Open Issues: 74
• Metadata Files:
  • Readme: README.dev
  • Changelog: CHANGES.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-coq - Equations - Function definition package for Coq. (Projects / Plugins)

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.