globular

Globular is a proof assistant for higher categories. For more details, go here: https://ncatlab.org/nlab/show/Globular.

Globular is free software, open sourced under the WTFPL licence: https://en.wikipedia.org/wiki/WTFPL.

To run a local copy for development:

Install prerequisites (assuming OS X, macports)

sudo port install npm2
sudo npm install pm2@latest -g

Then clone the project:

git clone git@github.com:jamievicary/globular.git
cd globular

To start a server instance:

pm2 restart app.js
open http://localhost:3000/

Type	Name	Latest commit message	Commit time
	Failed to load latest commit information.
	node_modules
	public
	routes
	README.md
	app.js
	deploy
	package.json
	snapshot
	windows_deploy.bat
	windows_deploy_cmd.txt