#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 History
Timeline of important events for #isabelle
No History Yet
This channel hasn't documented any historical events yet.