Zulip Chat Archive
Stream: new members
Topic: Automatic grading of lean4 codes
Notification Bot (Aug 25 2023 at 13:55):
30 messages were moved from this topic to #Lean for teaching > Automatic grading of lean4 codes by Eric Wieser.
Last updated: May 02 2025 at 03:31 UTC