💬 #lean on Libera.​Chat

Channel Information

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

Current users

21

Peak users

22

Average users

21

Samples

17

First discovered

2026-10-30 14:45:31

Last observed

2 hr ago

Channel User History