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: May 02 2025 at 03:31 UTC