regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
1-1 of 1 versions of regensburg-itp-school-2023
Sort by
Date
7307618v4.0.0