Zulip Chat Archive
Stream: Lean for teaching
Topic: Fall 2024
Matthew Ballard (Aug 20 2024 at 16:20):
With the start of the new semester, perhaps people teaching this semester want to share links to their courses. (Please also PR your course to https://leanprover-community.github.io/teaching/courses.html)
I'll go first Introduction to Cryptography.
Last updated: May 02 2025 at 03:31 UTC