/itp-school-2023.github.io

The International Summer School on Interactions of Proof Assistants and Mathematics 2023

Primary LanguageAgdaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

itp-school-2023.github.io

The International Summer School on Interactions of Proof Assistants and Mathematics, Regensburg, Germany, 2023