ocaml-coq-menhirlib

v 20210310

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


http://cristal.inria.fr/~fpottier/menhir

To install ocaml-coq-menhirlib, paste this in macOS terminal after installing MacPorts

sudo port install ocaml-coq-menhirlib

Add to my watchlist

Installations 3
Requested Installations 0