#isabelle

Network: Libera.Chat

Modes:

Last Seen: an hour 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,874

Rank

Users

Topic History

Viewing 1 topic change

#isabelle

May 18, 2023 2 years, 9 months ago

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.