#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 Log Archive
Searchable archive of IRC conversations from #lean
This feature is not currently enabled for #lean.
Enable the Live Channel Bot and the Logging option in channel settings to create a searchable, browsable log archive.
Searchable Archive
Search through past messages by keyword or filter by user.
Browse by Date
Navigate conversations by date with calendar picker and day separators.
Export Formats
Download logs in mIRC, XChat, irssi, or WeeChat format.
Shareable Links
Link to specific messages for reference and discussion.
Channel administrators can enable this feature in the channel Admin settings. Ask a channel admin to enable the Live Channel Bot and the Logging option.