first proof implementation
firt parallel working
more tests
first proof implementation
firt parallel working
more tests
Merge branch 'proof_reader' of https://github.com/wiso/bad into proof_reader