Guest0x0 / trebor

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

Related projects β“˜

Alternatives and complementary repositories for trebor