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: Dec 20 2023 at 11:08 UTC