GitHub repository: pigworker/PoP
Primary language: TeX
Created: 2024-05-03T12:58:20Z
Description: being code and blether about presheaves on purpose