/pipecheck

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

TO DO

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