• en

ott

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

Maintainer contact@ocamlpro.com

Events

Mar 27, 2014

Published version 0.24

Nov 12, 2013

Published version 0.23

Mar 27, 2014

Published version 0.21.2