YikeZhou / pipecheck

TO DO

Compare this repository with pipecheck_tutorial.
Fix errors reported by coqc 8.13.1 (with OCaml 4.11.1).

About

GNU Lesser General Public License v2.1

Languages

Language:Coq 88.7%Language:OCaml 6.3%Language:Python 4.1%Language:Makefile 0.9%