JonasHoefer / poset-type-theoryLinks

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
11Updated 11 months ago

Alternatives and similar repositories for poset-type-theory

Users that are interested in poset-type-theory are comparing it to the libraries listed below

Sorting: