summaryrefslogtreecommitdiff
path: root/source/Checking/Exact/Proof.hs
AgeCommit message (Expand)Author
8 hoursRestore exact proof binder and witness formsHEADhotgadelon
15 hoursUnify checked candidate planningadelon
21 hoursPlan and admit module declarations prospectivelyadelon
21 hoursRoute declarations through checked envelopesadelon
45 hoursCompile exact structure declarationsadelon
46 hoursSupport proof-local function graphsadelon
2 daysConfine indirect Vampire dischargeadelon
2 daysSupport terminal exact contradictionadelon
2 daysSupport proof-local set definitionsadelon
2 daysConfine set induction to outer proofsadelon
3 daysRewrite protected set and naturals closureadelon
3 daysNarrow final prelude validationadelon
3 daysRetain exact omitted-proof locationsadelon
3 daysConfine final prelude constructionadelon
3 daysConfine final prelude foundation leavesadelon
3 daysOpen exact claim envelopes in proofsadelon
3 daysLower exact omitted proofsadelon
3 daysDerive exact proof premise selectionadelon
3 daysConfine scoped proof compositionadelon
3 daysLocate exact proof obligation failuresadelon
3 daysCompile exact ordinary proofsadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:31 +0000