jyp / prettiestLinks
The Prettiest Printer
☆35Updated last year
Alternatives and similar repositories for prettiest
Users that are interested in prettiest are comparing it to the libraries listed below
Sorting:
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆75Updated 3 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34Updated 8 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Where my everyday research happens☆54Updated 2 months ago
- being bits and pieces I'm inclined to leave lying around