Contributions:89 commits, 17 pushes, 1 branch in 1 year
Prototype implementation of a proof search algorithm for inductive predicate entailments.
Contributions:25 commits, 2 PRs, 20 pushes in 11 months
predicatepythonprototypeproof-searchsearch-algorithm