Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
Results for "coq"
2 port(s) found

coq

Proof assistant for higher-order logic

Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqide

ocaml-coq-menhirlib

Menhir is a LR(1) parser generator for the Objective Caml programming language.

Version: 20231231 | Maintained by: barracuda156 | Categories: devel ocaml | Variants:

2 port(s) found