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: 2 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 14 years ago)
• Default Branch: main
• Last Pushed: 2024-04-05T09:19:21.000Z (3 months ago)
• Last Synced: 2024-04-05T10:31:12.362Z (3 months ago)
• Topics: coq, dependent-types, programming-language
• Language: Coq
• Homepage: http://mattam82.github.io/Coq-Equations
• Size: 58.5 MB
• Stars: 208
• Watchers: 10
• Forks: 42
• Open Issues: 67
• Metadata Files:
  • Readme: README.dev
  • Changelog: CHANGES.md
  • License: LICENSE

Lists

• awesome-coq - Equations - Function definition package for Coq. (Projects / Plugins)
• my-awesome-stars - mattam82/Coq-Equations - A function definition package for Coq (Coq)

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.