Zulip Chat Archive
Stream: new members
Topic: Lean Course
Parivash (Feb 26 2022 at 16:58):
Hi,
has Lean been taught in any university?
Kevin Buzzard (Feb 26 2022 at 17:42):
It's taught both in mathematics and computer science departments
Last updated: Dec 20 2023 at 11:08 UTC