summaryrefslogtreecommitdiff
path: root/src/theory/builtin/proof_kinds
AgeCommit message (Expand)Author
2020-05-18Sketch nextajreynol
2020-05-18Configurable substitution, working on TheoryEngine.ajreynol
2020-05-12Minorajreynol
2020-05-07Reorg pfnew regressions, coarse grained theory lemma steps, length positive l...ajreynol
2020-05-05Doc, rec explain for assertFactajreynol
2020-05-04More docajreynol
2020-05-04Improvementsajreynol
2020-05-03Predicate transformationajreynol
2020-05-02Revise core builtin rulesajreynol
2020-05-02Moreajreynol
2020-05-02More, substitution rewrite predicate versionajreynol
2020-05-01Moreajreynol
2020-04-17Moreajreynol
2020-04-17Moreajreynol
2020-04-17Moreajreynol
2020-04-17Moreajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback