oof 0.0.0

Naive proof scheme for accelerated testing
Documentation