kkytola's repositories
Metric-spaces-materials
Materials for the course MS-C1541: Metric spaces
AoC2023Lean4
Learning Lean4 programming with the Advent of Code 2023.
Lie-course-materials
Materials for the course "Lie groups and Lie algebras"
lean-questions
My questions about formalizing mathematics in Lean
Language:Lean000
pfr
Fork of Tao's PFR project
Language:Lean000