Pinned Loading

1. CWComplexes CWComplexes Public

   In this repository I am collecting the code of my formalisation of CW complexes in Lean.

   TeX 7 3

2. LogicOfProofAssistants LogicOfProofAssistants Public

   These are the lecture notes for the course "Logic of Proof Assistants" taught in Bonn in the summer term 2025 by Prof. van Doorn.

   TeX 5 1

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3k 1.2k