The whole of mathematics acquires a rationale provided it remains a connected whole. - Michael Atiyah

If you're using Google Chrome, maybe just go here and try Occam out:


It looks best in full screen mode, by the way.

If you're not using Google Chrome, please read the browser compatibility section next.

Browser compatibility

Occam is developed on Google Chromium, to all intents Google Chrome. It will run on other browsers, however there are no guarantees that it will run properly on any of them. A development team of one means that there is no time to deal with the myriad issues that cross-browser support would throw up. So please if you can make do with Google Chrome, or Chromium. Thank you!

So Occam is a collaborative proof assistant, right?

Yes! You should absolutely encourage a colleague to have a go, get yourselves on Skype or whatever and work together. Occam should be useable enough for you to figure out how to do this.

Getting started in earnest

There is a page on running Occam locally, which you really need to do if you want to take it seriously. If you just want to download the latest version, however, then see below.



Most of Occam is open source. The interesting projects are on GitHub:

The Easy projects are essential, but not directly relevant and so not linked to here. See the resources section on my home page for links.


Last updated 3rd March, 2017.