Proofscape ISE

This is PISE, the Proofscape Integrated Study Environment.

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS		CONTRIBUTORS
LICENSE		LICENSE
Makefile		Makefile
NOTICE		NOTICE
README.md		README.md
genabout.js		genabout.js
other-versions.json		other-versions.json
package-lock.json		package-lock.json
package.json		package.json
release_procedure.md		release_procedure.md
webpack.config.js		webpack.config.js

Provide feedback