GitHub - co-dan/hott-snippets: snippin

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
vK		vK
.gitignore		.gitignore
Ab.v		Ab.v
Circ.v		Circ.v
Cubes.v		Cubes.v
Hedberg.v		Hedberg.v
HitTactics.v		HitTactics.v
Interval.v		Interval.v
J.v		J.v
K.v		K.v
Munkres.v		Munkres.v
Paths.v		Paths.v
README		README
Root.v		Root.v
Trunc.v		Trunc.v
_CoqProject		_CoqProject
fibers_transport.v		fibers_transport.v
monoid.v		monoid.v
yoneda.agda		yoneda.agda

Repository files navigation

Make sure to grab the HoTT library [1] beforehand.

[1]: https://github.com/HoTT/HoTT

snippin

No releases published

No packages published