ott 0.23
| Maintainer | contact@ocamlpro.com |
|---|---|
| Published | Nov 12, 2013 |
| Source [http] |
http://www.cl.cam.ac.uk/~pes20/ott/ott_distro_0.23.tar.gz b57a197c6d413117440eaa9547772774 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ott/ott.0.23/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 |