mb64 / xtt

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

Alternatives and similar repositories for xtt:

Users that are interested in xtt are comparing it to the libraries listed below