ott (devel/ott) 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.25 License: BSD![](/static/images/github.png)
Maintainers | ggreif (GitHub handle not provided) |
Categories | devel |
Homepage | http://www.cl.cam.ac.uk/~pes20/ott/ |
Platforms | darwin |
Variants | - |
"ott" depends on
lib (1)
build (1)
Ports that depend on "ott"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if ott was updated (regex didn't match)
last updated: 1 day, 23 hours ago