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