/coq-myprint

Coq plugin to print Gallina terms (experimental)

Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1

myprint plugin for Coq

This software provides Coq commands to print Gallina terms.

Requiements

  • Coq 8.16 (Coq 8.15 doesn't work)
  • OCaml 4.14.0

How to build

make

How to run

coqide sample/print.v

How to use

See sample/ directory.

Author

Tanaka Akira

License

GNU Lesser General Public License Version 2.1 or later