# `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.