mb64 / xtt

A simple implementation of XTT, "A cubical language for Bishop sets"
β˜†26Updated 2 years ago

Related projects β“˜

Alternatives and complementary repositories for xtt