GitHub - trey3p/formalization: public formalization repo

Name	Name	Last commit message	Last commit date
Latest commit trey3p cleanup again Dec 9, 2024 186fefa · Dec 9, 2024 History 5 Commits
cubical	cubical	cleanup	Dec 9, 2024
hott	hott	moving formalizations over to public repo	Dec 2, 2024
.gitignore	.gitignore	gitignore	Dec 9, 2024