formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Sort by
Require Order
mathlib
95f91f8The math library of Lean 4
formalising-mathematics-202495f91f8