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 |
#23 in #naive
21 downloads per month
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
~615KB
~13K SLoC