Teaching assistant: Interative Theorem Proving
Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I was the TA of Jasmin Blanchette for Interactive Theorem Proving. The course followed The Hitchhiker’s Guide to Logical Verification.