proofscape/pise repository overview

⁠PISE: the Proofscape Integrated Study Environment

⁠Basic Operation

Start by choosing a directory where Proofscape can live on your machine. We recommend ~/proofcape, but you can choose any directory you want. We'll refer to the directory you choose as PFSC_ROOT.

When making your choice, bear in mind that all of your Proofscape content repos will live under PFSC_ROOT/lib. This means that, if you'll be developing content, you'll be doing things like git commits in PFSC_ROOT/lib. So, be sure to choose a convenient location.

Once you've made the PFSC_ROOT directory, you can start up the container with

docker run --rm \
     --name=pise \
     -p 7372:7372 \
     -v PFSC_ROOT:/proofscape \
     proofscape/pise:latest

being sure to substitute the absolute filesystem path to your PFSC_ROOT directory.

You should see some logging output. When you see a line containing

INFO success: pfsc_web entered RUNNING state

you can navigate your web browser to localhost:7372 and the Proofscape ISE should load. Recommended browsers are: Firefox, Brave, Chrome, or Opera.

You can find a fuller set of instructions here⁠.

⁠License

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