oof 0.0.2

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