Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqideMenhir is a LR(1) parser generator for the Objective Caml programming language.
Version: 20231231 | Maintained by: barracuda156 | Categories: devel ocaml | Variants: