- Indexed Information
- Rank3,094
- Users9
- Last Indexed4 days, 13 hours 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.
Topic History (1)
| Topic | First Indexed |
|---|---|
| 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. | 1 year, 7 months ago |