matematiflo/regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
LeanApache-2.0
Watchers
No one’s watching this repository yet.
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
LeanApache-2.0
No one’s watching this repository yet.