This repository has been archived by the owner on Apr 30, 2019. It is now read-only.

The ProB Logic Calculator

This is the re-development of the ProB Logic Calculator. The old version is tagged as 0.1.

Acknowledgements

We use some great libaries:

The Skeleton css library (http://www.getskeleton.com/)
jQuery (http://jquery.com/)
MathJax (http://www.mathjax.org/)
CodeMirror (http://codemirror.net/)

Deployment

The application is deployed automatically to Heroku when a commit is pushed to the master branch.

License

The source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html)

(c) 2012 Jens Bendisposto, all rights reserved