oof 0.1.1

Naive proof scheme for accelerated testing
Documentation
/target
**/*.rs.bk
Cargo.lock