antitypical / ManifoldLinks

An implementation of a dependently-typed intermediate language used by Tesseract.
30Updated 9 years ago

Alternatives and similar repositories for Manifold

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

Sorting: