oof

In order better understand the interfaces required by proof libraries and to minimize the time spent debugging complex proof logic, oof is focused on providing a sturdy proofing scheme at the cost of time and space complexity.