GitHub repository: zickgraf/FinSetsForCAP
Primary language: GAP
Description: The elementary topos of finite sets