ott (devel/ott) Updated: 5 days, 9 hours ago Add to my watchlist
tool for writing definitions of programming languagesOtt is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.
Version: 0.34 License: BSD
GitHub
| Maintainers | ggreif (GitHub handle not provided) |
| Categories | devel |
| Homepage | http://www.cl.cam.ac.uk/~pes20/ott/ |
| Platforms | darwin |
| Variants | - |
"ott" depends on
lib (2)
build (2)
Ports that depend on "ott"
No ports
Port Health:
Loading Port Health