GitHub repository: xpple/ConstructionOfMathematics
Primary language: TeX
Description: Source files for an overview of set-theoretic constructions of mathematical objects.