Projects tagged with type-theory

agda Last built 16 hours ago		latest #24319416 latest #24319416 16 hours ago 761869c5 95 seconds
mini-hott Last built 3 years, 4 months ago		latest #12571573 latest #12571573 3 years, 4 months ago 1c9acd4c 41 seconds
RedPRL Last built 5 years, 5 months ago		latest #8081843 latest #8081843 5 years, 5 months ago 4b13acd6 41 seconds