Zulip Chat Archive
Stream: Lean Together 2026
Topic: Chris Henson - Proof Automation and Metaprogramming in CSLib
Rémy Degenne (Jan 21 2026 at 20:35):
Discussion topic for the talk
Chris Henson (Jan 21 2026 at 22:54):
Thank you all for listening today! Here are the slides from my talk:
lt2026_henson.pdf
Last updated: Feb 28 2026 at 14:05 UTC