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: Feb 28 2026 at 14:05 UTC
Here are the slides from my talk: slides.pdf
Last updated: Feb 28 2026 at 14:05 UTC