This software provides Coq commands to print Gallina terms.
- Coq 8.16 (Coq 8.15 doesn't work)
- OCaml 4.14.0
make
coqide sample/print.v
See sample/ directory.
Tanaka Akira
GNU Lesser General Public License Version 2.1 or later
This software provides Coq commands to print Gallina terms.
make
coqide sample/print.v
See sample/ directory.
Tanaka Akira
GNU Lesser General Public License Version 2.1 or later