Pinned Repositories
AoC2023Lean4
Learning Lean4 programming with the Advent of Code 2023.
ForAlli-Polya-lean
lean-questions
My questions about formalizing mathematics in Lean
lean_portmanteau
Lie-course-materials
Materials for the course "Lie groups and Lie algebras"
Metric-spaces-materials
Materials for the course MS-C1541: Metric spaces
pfr
Fork of Tao's PFR project
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
kkytola's Repositories
kkytola/Metric-spaces-materials
Materials for the course MS-C1541: Metric spaces
kkytola/AoC2023Lean4
Learning Lean4 programming with the Advent of Code 2023.
kkytola/lean_portmanteau
kkytola/Lie-course-materials
Materials for the course "Lie groups and Lie algebras"
kkytola/ForAlli-Polya-lean
kkytola/lean-questions
My questions about formalizing mathematics in Lean
kkytola/pfr
Fork of Tao's PFR project