Installing Isabelle/HOL on macOS [isa-0014]

  • Go to the Isabelle download page.
  • Download the macOS DMG file.
  • Open the DMG.
  • Drag the Isabelle application into your Applications folder.
  • Open Applications → Isabelle to start the Isabelle/jEdit IDE.
(If macOS warns that the app is from an unidentified developer, go to System Settings → Privacy & Security and approve it.)