GitHub - LuccaT95/ToposTheory: Formalizing Topos Theory in HOL

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Christoph		Christoph
StatusDocument		StatusDocument
sledgehammerTheories		sledgehammerTheories
Category.thy		Category.thy
Category.thy~		Category.thy~
CategoryNaturalNumbers.thy		CategoryNaturalNumbers.thy
CategoryNaturalNumbers.thy~		CategoryNaturalNumbers.thy~
CategorySet.thy		CategorySet.thy
CategorySet.thy~		CategorySet.thy~
CategorySetV2.thy		CategorySetV2.thy
CategorySetV3.thy		CategorySetV3.thy
Category_ProductProvesByHand.thy		Category_ProductProvesByHand.thy
DDL_paper-2.pdf		DDL_paper-2.pdf
ExponentialCategory.thy		ExponentialCategory.thy
ExponentialCategory.thy~		ExponentialCategory.thy~
FreeLogic.thy		FreeLogic.thy
FreeLogic.thy~		FreeLogic.thy~
FreeLogic_equalitiesAsDefs.thy		FreeLogic_equalitiesAsDefs.thy
MonoEpi.thy		MonoEpi.thy
Type Theory (1).pdf		Type Theory (1).pdf
Type Theory (2).pdf		Type Theory (2).pdf
definitionCategory.thy		definitionCategory.thy