Guest0x0 / trebor

an implementation of Observational Type Theory (OTT) and more
26Updated 2 years ago

Related projects

Alternatives and complementary repositories for trebor