• en

ott 0.21.2

Maintainer contact@ocamlpro.com
Published Mar 27, 2014
Source [http] http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.21.2.tar.gz
e9a5dae61b0aa5c33c3445e8e8a92b6a
Edit https://github.com/ocaml/opam-repository/tree/master/packages/ott/ott.0.21.2/opam

From a definition of a language syntax and semantics, generates LaTeX, and Coq, HOL, and Isabelle versions of the definition

No package is dependent