GitHub repository: marcbezem/ZTors
Primary language: TeX
Description: Construction of the circle in UniMath