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 |