cproofutils

Top-level utilities for cproof processing and website.

Things that go in here:

• Too specific to cproof to belong in pyglider.
• general to the processing scripts that we run to process the data and make the deployment webpages.

Installation:

• install conda/miniconda
• install pyglider, following the directions there for a conda install
• fork this repo
• clone this repo
• either do pip install . from the repo base, or if you want an editable install pip install . -e.