ott 0.24
| Maintainer | contact@ocamlpro.com |
|---|---|
| Published | Mar 27, 2014 |
| Source [http] |
http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.24.tar.gz 6512a2b737cb8408348306378fc46553 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ott/ott.0.24/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 |