regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
Sort by
Require Order
mathlib
eec55afThe math library of Lean 4
regensburg-itp-school-2023eec55af