Zulip Chat Archive
Stream: Lean Together 2026
Topic: Wojciech Różowski - Coinductive predicates in Lean
Rémy Degenne (Jan 22 2026 at 15:02):
Discussion topic for the talk.
Ching-Tsun Chou (Jan 22 2026 at 18:38):
Are the slides of the presentation available somewhere? Thanks in advance!
Last updated: Feb 28 2026 at 14:05 UTC