kkytola
Follow
-
VirasoroProject Public
Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)
-
-
Complex-analysis-course Public
Material for the course MS-C1300 Complex Analysis
TeX UpdatedNov 29, 2024 -
-
Lie-course-materials Public
Materials for the course "Lie groups and Lie algebras"
1 UpdatedApr 6, 2024 -
Metric-spaces-materials Public
Materials for the course MS-C1541: Metric spaces
16 UpdatedFeb 12, 2024 -
AoC2023Lean4 Public
Learning Lean4 programming with the Advent of Code 2023.
-
-
-