Arto's Notes
Arto's Notes re:
Isabelle
https://isabelle.in.tum.de/
https://isabelle.in.tum.de/community/Main_Page
https://github.com/seL4/isabelle
Frontends
Isabelle/jEdit
Proof General
(
GitHub
)
See Also
Coq
HOL4