The Occam Proof Assistant
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


The Occam Proof Assistant.


Copyright 2016-2018 James Smith

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this software except in compliance with the License and subject to the terms laid out after this notice. A copy of the License can be found at the following URL:

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.


  • The majority of the projects of which Occam is comprised are open source, but Occam itself is not.
  • You cannot re-use the source code for any reason unless directly from the aforementioned open source projects.
  • It is to be used only for individual use and if not for profit, otherwise you must contact the author.

Further resources

There is a homepage, which contains a more detailed description of Occam as well as links to downloads, tools, etc.


  • The syntax colouring is based on the Monokai theme.

  • Colours are courtesy of Chirag Mehta's Name that Colour.

  • The logo was converted to SVG format with Peter Selinger's Potrace.