leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Lean Together 2026

Topic: Harry Goldstein - Metaprogramming the Next Gen of Testing


Rémy Degenne (Jan 20 2026 at 17:03):

Discussion thread for the talk.

Patrick Massot (Jan 20 2026 at 17:04):

https://www.youtube.com/watch?v=c5LOYzZx-0c is the talk Harry mentioned at the beginning.

Ching-Tsun Chou (Jan 20 2026 at 19:19):

Are the slides of the presentation available somewhere? Thanks!


Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll