latte-central / LaTTeLinks

LaTTe : a Laboratory for Type Theory experiments (in clojure)
259Updated 2 months ago

Alternatives and similar repositories for LaTTe

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

Sorting: