#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 Quotes

Memorable quotes from #lean on Libera.Chat

Submit Quote

Latest Quotes

View All

No Quotes Yet

Be the first to submit a memorable quote from #lean!

Submit First Quote
Statistics
Total Quotes
0