proofscape/pise-server repository overview

This image supports the PISE MCA deployment, as set up by pise/manage.

⁠License

License info can be found in the image itself, under the /home/pfsc/proofscape/src/pfsc-server directory.