5 releases

0.1.1 Feb 13, 2020
0.0.3 Dec 9, 2019
0.0.2 Nov 30, 2019
0.0.1 Nov 13, 2019
0.0.0 Nov 12, 2019

#272 in Testing

Download history 1/week @ 2020-05-21 10/week @ 2020-05-28 10/week @ 2020-06-04 5/week @ 2020-06-18 1/week @ 2020-06-25 31/week @ 2020-07-02 10/week @ 2020-07-09 3/week @ 2020-07-23 2/week @ 2020-07-30 10/week @ 2020-08-06 6/week @ 2020-08-20 5/week @ 2020-08-27 20/week @ 2020-09-03

51 downloads per month

Apache-2.0

7KB
142 lines

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.

Dependencies

~450KB