Zulip Chat Archive
Stream: Lean Together 2026
Topic: Atticus Kuhn - Verification of model-checking techniques
Rémy Degenne (Jan 23 2026 at 17:04):
Discussion topic for the talk.
Ching-Tsun Chou (Jan 23 2026 at 22:40):
Are the slides of this presentation available somewhere? Thanks in advance!
Last updated: Feb 28 2026 at 14:05 UTC