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
GitHub
Statistics for selected duration
2025-Jan-10 to 2025-Feb-09
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.