ott
Tool for writing definitions of programming languages and calculi
Dedicated URL：https://ott.book110.cn
Official site：https://www.cl.cam.ac.uk/~pes20/ott/
Download links
No download link has been collected yet — get the official installer from the vendor site.
Description
Tool for writing definitions of programming languages and calculi 官方网站：https://www.cl.cam.ac.uk/~pes20/ott/
