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