Zulip Chat Archive
Stream: general
Topic: Question: is there any math courses using lean?
ZHAO Jinxiang (Jun 11 2022 at 09:44):
I would like to know which undergraduate math classes are currently using leanprover to assist in teaching.
Is there a corresponding course homepage?
Horațiu Cheval (Jun 11 2022 at 10:53):
Have you discovered the #Lean for teaching stream?
ZHAO Jinxiang (Jun 11 2022 at 11:13):
Oh, thank you :heart:
Last updated: Dec 20 2023 at 11:08 UTC