Zulip Chat Archive

Stream: mathlib4

Topic: Beginner question: Mathematics in Lean, Release 0.1 p11

Notification Bot (Feb 27 2024 at 17:33):

This topic was moved to #new members > Beginner question: Mathematics in Lean, Release 0.1 p11 by Riccardo Brasca.

Last updated: Dec 20 2025 at 21:32 UTC