#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 Quotes

Memorable quotes from #isabelle on Libera.Chat

Latest Quotes

View All

No Quotes Yet

Be the first to submit a memorable quote from #isabelle!

Submit First Quote

Statistics

Total Quotes

0