#isabelle
Network:
Libera.Chat
Modes:
Last Seen:
3 hours ago
Topic:
Unofficial channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || isabelle_zulip bridges to https://isabelle.zulipchat.com/ which keeps logs.
#2,899
Rank
9
Users
Channel Users for #isabelle
Channel Users List
See who's in #isabelle and browse user history
This feature is not currently enabled for #isabelle.
Enable the Live Channel Bot and the Users List option in channel settings to display the current user list and user history.
Current Users
See who's online right now with status (ops, voice, etc.) and linked accounts.
User History
Browse who has joined in the past, when they were last seen, and quit messages.
Channel administrators can enable this feature in the channel Admin settings. Ask a channel admin to enable the Live Channel Bot and the Users List option.