JonasHoefer / poset-type-theoryLinks

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
11Updated last year

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: