Informazioni sul Canale
- Canale
- #lean
- Server
- irc.libera.chat:6697
- Rete
- Libera
- Utenti Correnti
- 21
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
Mostra argomento grezzo
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
Grafico delle Statistiche
Nessun canale trovato.
Cronologia Statistiche
|
Date
|
Users
|
Topic |
|---|---|---|
| 2026-11-06 | 21 |
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
|
| 2026-11-05 | 21 |
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
|
| 2026-11-04 | 21 |
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
|
| 2026-11-03 | 22 |
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
|
| 2026-11-02 | 21 |
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
|
| 2026-11-01 | 22 |
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
|
| 2026-10-31 | 21 |
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
|
| 2026-10-30 | 20 |
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
|
| 2026-10-27 | 22 |
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
|
| 2026-10-26 | 20 |
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
|
Nessun canale trovato.