Popular repositories Loading

1. linear_maths linear_maths Public

   Notes on Linear Mathematics, by Neil Strickland

   TeX 8 4

2. lean_primes lean_primes Public

   Proof in Lean that there are infinitely many primes

   Lean 4

3. lean_lib lean_lib Public

   Various Lean developments

   Lean 4 1

4. fields_and_galois_theory fields_and_galois_theory Public

   Material for an undergraduate course on fields and Galois Theory

   TeX 3 2

5. itloc itloc Public

   Iterated chromatic localisation

   Lean 2

6. algtop_diagrams algtop_diagrams Public

   Interactive/animated/3D diagrams for algebraic topology

   HTML 2