Occam is an automated domain of reasoning which is designed primarily for implementing mathematics and logic, but is also suited to verifying algorithms, protocols and the like. It comprises an IDE, a verifier and a package manager. Installation instructions for the verifier and package manager can be found on the Open Mathematics website:

https://openmathematics.org

Installation instructions for the IDE can be found below.

Downloads

I am not a robot

    Prerequisites

    • A Mac, preferably.
    • Failing that, Google Chrome or Chromium.
    • Node.js, version 16 or later. In fact only the Chrome version actually needs Node installed. However, installing it also gives you Node's package manager, which you will doubtless need either way.

    Installation instructions

    Note that these days on a Mac you will fall foul of the system security settings whether trying to install either the browser or the desktop version.

    In either case, try to run the application as per the specific instructions below. You will be presented with a warning dialog. Click the 'Cancel' button. Open your security and privacy settings and navigate to the 'Security' section. An 'Allow anyway' button should have appeared. Click this button and try to run the application a second time. This time you should be able to click an 'Open' button and will be prompted for your password. You should only have to do this once.

    Here are specific instructions for the desktop version...

    • Unzip the downloaded zip file.
    • Drag the application file into your applications folder and click on the icon in there.

    Here are specific instructions for the browser version...

    • Unzip the downloaded zip file. This will create an 'Occam' directory.
    • Open a terminal and go to the unzipped 'Occam' directory. In there, type npm start. You can press 'CTRL-C' to exit at any time.
    • Now open Chrome or Chromium and Occam will at http://localhost:8888, which you might want to bookmark.

    Running the IDE for the first time

    • Create a projects directory somewhere.
    • In Occam's settings pane you will find a projects directory input field. Enter the fully qualified path to the projects directory you have just created.†
    • Now click the swirly refresh button and Occam will load any projects it finds in there.

    You need to be using Google Chrome or Chromium in order to make use of the grammars sandbox.