ott

Tool for writing formal definitions of programming languages and calculi

brewmacoslinux

Try with needOr install directly

About

Tool for writing definitions of programming languages and calculi

ott

Generate LaTeX from an Ott specification file$ ott -i mylang.ott -o mylang.tex

Generate Coq proof assistant code from specification$ ott -i mylang.ott -coq -o mylang.v

Validate syntax of an Ott specification file$ ott -i mylang.ott