Zulip Chat Archive

Stream: new members

Topic: Where to ask about lean3 and mathlib?

Siyuan Yan (Nov 03 2022 at 15:24):

where do I ask newbie questions on Lean3 and mathlib? I'm a master's student in pure math at Cardiff University, UK, and I want to try to use lean on exercise problems in my coursework. I enjoyed kevin's natural number game a while back but mathlib's source code feels a bit overwhelming.

Notification Bot (Nov 03 2022 at 15:25):

A message was moved here from #general > Lean in the wild by Kyle Miller.

Kyle Miller (Nov 03 2022 at 15:26):

Hi @Siyuan Yan, you can ask right here in the #new members stream!

Last updated: Dec 20 2023 at 11:08 UTC