Zulip Chat Archive
Stream: Lean Together 2019
Topic: Slides for regression proving talk
Karl Palmskog (Jan 09 2019 at 10:08):
See http://setoid.com/slides/lean-together-2019.pdf and my Coq issue: https://github.com/coq/coq/issues/9262
Last updated: May 02 2025 at 03:31 UTC