GitHub repository: kamalsaleh/FinSetsForCAP.jl
Primary language: Julia
Description: [READ-ONLY-SUBSPLIT] The (skeletal) elementary topos of finite sets in Julia