ProvingGround Working Notebooks

These are the working notes. Each one should import a jar with a short commit for replication