GitHub repository: 5HT/sheaf.space
Primary language: HTML
Description: Presheaf/Prestack Model of Type Theory