goldfirere/ott-tutorial

A tutorial on the ott tool for presenting type theory

Coq