関連URL

• WikiPedia Isabelle -- https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29
• Isabelle -- https://isabelle.in.tum.de/
• https://isabelle.in.tum.de/community/Main_Page
• http://isabelle.in.tum.de/repos/isabelle/
• http://www.isa-afp.org/
• http://www.jedit.org/

• http://sml-family.org/
• Poly/ML -- http://www.polyml.org/
• https://github.com/polyml/polyml
• https://quantomatic.github.io/
• https://github.com/Quantomatic/quantomatic

パッケージマネージャ

• SMackage -- http://www.elsman.com/lessons/2014/10/02/getting-started-with-smackage/
• OPAM (but for Ocaml)-- http://opam.ocamlpro.com/

IDEとか

• http://stackoverflow.com/questions/2036744/ml-ide-and-compiler-for-windows-or-linux-or-mac

トピック

• https://isabelle.in.tum.de/dist/Isabelle2016/doc/classes.pdf
• https://www.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf