GitHub repository: scholzhannah/CWComplexes
Primary language: Lean
Created: 2024-03-29T15:32:39Z
Description: In this repository I am collecting the code of my formalisation of CW complexes in Lean.