• Indexed Information
  • Rank3,094
  • Users9
  • Last Indexed4 days, 13 hours ago
Channel 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.

Channel Users for #isabelle

Channel user setting for #isabelle is not currently enabled