Zulip Chat Archive
Stream: new members
Topic: Using lean theorems to proof
Tobias Grosser (May 13 2023 at 06:50):
Hey, I
Notification Bot (May 14 2023 at 12:07):
Lars Ericson has marked this topic as resolved.
Notification Bot (May 14 2023 at 12:11):
Lars Ericson has marked this topic as unresolved.
Last updated: Dec 20 2023 at 11:08 UTC