Zulip Chat Archive

Stream: new members

Topic: Kai L

Kai L (Apr 20 2023 at 11:16):

Hello, am an undergrad student studying maths, new to Lean, hello alls. Where would be a good place to start?

Moritz Doll (Apr 20 2023 at 11:21):

Hi, quite a few possibilities are listed here: https://leanprover-community.github.io/learn.html

Bulhwi Cha (Apr 20 2023 at 11:25):

Modern Mathematics with Lean by Gihan Marasingha also looks great.

Kai L (Apr 20 2023 at 13:53):

thanks!

Last updated: Dec 20 2023 at 11:08 UTC