Practical: Formalization In Lean
Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I led a practical on formalization in Lean. See the course’s page.
Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I led a practical on formalization in Lean. See the course’s page.