#lean
Network:
Libera.Chat
Modes:
Last Seen:
an hour ago
Topic:
The Libera Lean 4 Community | https://lean-lang.org | Paste (>3 lines) https://bpa.st/ or https://0x0.st | Mathlib4 docs: https://leanprover-community.github.io/mathlib4_docs/ | Please abide by the community guidelines https://leanprover-community.github.io/meet.html#community-guidelines
#1,497
Rank
22
Users
Channel History
Timeline of important events for #lean
No History Yet
This channel hasn't documented any historical events yet.