rzk-lang / rzkLinks

An experimental proof assistant based on a type theory for synthetic ∞-categories.
233Updated 3 months ago

Alternatives and similar repositories for rzk

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

Sorting: