GitHub - DavidJaz/Cohesion: A personal library, formalizing cohesive homotopy type theory in Agda. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Algebra		Algebra
Axiom		Axiom
C1		C1
old		old
#Sharp.agda#		#Sharp.agda#
.gitignore		.gitignore
Base.agda		Base.agda
Basics.agda		Basics.agda
Bool.agda		Bool.agda
C1.agda		C1.agda
Classifying.agda		Classifying.agda
Conaturals.agda		Conaturals.agda
Connection.agda		Connection.agda
Flat.agda		Flat.agda
LEM.agda		LEM.agda
LogicalTopology.agda		LogicalTopology.agda
NotNot.agda		NotNot.agda
Prop.agda		Prop.agda
Set.agda		Set.agda
Sharp.agda		Sharp.agda
Sharp2.agda		Sharp2.agda
TEST.agda		TEST.agda
UpperNaturals.agda		UpperNaturals.agda
hSet.agda		hSet.agda

About

A personal library, formalizing cohesive homotopy type theory in Agda.

13 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages