Zulip Chat Archive
Stream: Leaning In!
Topic: The proof clinic
Jesse Alama (Mar 13 2025 at 07:48):
Add topics for the post-lunch proof clinic here!
Jesse Alama (Mar 13 2025 at 10:26):
Henning's talk had a few open questions at the end that might be good candidates for the clinic!
Jesse Alama (Mar 13 2025 at 10:42):
Here's one simple question I might offer: How do I use leansearch.net in my day-to-day work?
Last updated: May 02 2025 at 03:31 UTC