💬 #isabelle on Libera.​Chat

Channel Information

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.

Current users

0

Peak users

7

Average users

7

Samples

26

First discovered

2026-10-30 14:45:30

Last observed

2 days ago

Channel User History