An example of using Ott with LaTeX
This project demonstrates how to use Ott to describe a type system with LaTex. You can also check out the official user guide.
If you want to create a skeleton project, you can use ott-paper-template by gfngfn.
- Install opam (see https://opam.ocaml.org/doc/Install.html)
- Install omake and ott
opam install omake ott
$ omake paper