Sign up for Zulip
HOL
https://hol.zulipchat.com
The collective of everyone doing theorem proving in higher-order logic, using the HOL Theorem Prover (HOL4) or related systems. We discuss development of HOL4 itself, existing projects including CakeML, Candle, Pancake, Verifereum, etc. and new ideas, projects, and research and development directions.
You need an invitation to join this organization.
OR
Already have an account? Log in