https://github.com/gmalecha/coq-plugin-utils

Useful utility functions for writing Coq plugins
https://github.com/gmalecha/coq-plugin-utils

coq coq-plugin ocaml

Last synced: 2 months ago
JSON representation

Useful utility functions for writing Coq plugins

• Host: GitHub
• URL: https://github.com/gmalecha/coq-plugin-utils
• Owner: gmalecha
• License: mit
• Created: 2013-12-05T17:24:02.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2019-03-02T05:50:27.000Z (almost 6 years ago)
• Last Synced: 2023-04-30T20:32:50.654Z (over 1 year ago)
• Topics: coq, coq-plugin, ocaml
• Language: OCaml
• Size: 31.3 KB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
coq-plugin-utils

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

Useful utility functions for writing Coq plugins

Install from OPAM

-----------------

Make sure you added the [Coq repository](coq.io/opam/):

    opam repo add coq-released https://coq.inria.fr/opam/released

and run:

    opam install coq-plugin-utils