#lean
Network:
Libera.Chat
Modes:
Last Seen:
3 hours 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,414
Rank
23
Users
Channel News
Latest updates and announcements from #lean
No News Articles
There are no news articles published yet.