Zulip Chat Archive
Stream: Big Proof 2025
Topic: Lean metatheory: the proofs behind the proofs
Mario Carneiro (Jun 10 2025 at 13:17):
Here are the slides from my talk: slides.pdf
Last updated: Dec 20 2025 at 21:32 UTC
Here are the slides from my talk: slides.pdf
Last updated: Dec 20 2025 at 21:32 UTC