mb64 / xttLinks

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

Alternatives and similar repositories for xtt

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

Sorting: