Zulip Chat Archive

Stream: new members

Topic: Most up-to-date library

Cong Wen (Feb 06 2022 at 15:58):

I finished the natural number game, where should I check out the most up-to-date library people are developing?

Arthur Paulino (Feb 06 2022 at 16:00):

Are you talking about mathlib? https://github.com/leanprover-community/mathlib

Cong Wen (Feb 06 2022 at 16:11):

Indeed, thanks!

Last updated: Dec 20 2023 at 11:08 UTC