Demo

This demo shows how to use proofable-cli to prove a directory of source code