summaryrefslogtreecommitdiff
path: root/source/Checking
AgeCommit message (Expand)Author
3 daysPersist exact structure descriptorsadelon
4 daysSupport proof-local function graphsadelon
4 daysConfine indirect Vampire dischargeadelon
4 daysSupport terminal exact contradictionadelon
4 daysSupport proof-local set definitionsadelon
4 daysResolve source application through applyadelon
4 daysCompile quantified exact noun subjectsadelon
4 daysLower relation expressions through ordered pairsadelon
4 daysAlign successor with canonical set insertionadelon
4 daysSeparate ordered tuples from PairSetadelon
4 daysConfine set induction to outer proofsadelon
4 daysActivate packaged prelude for protected rootsadelon
4 daysRewrite protected set and naturals closureadelon
4 daysPublish protected foundation factsadelon
4 daysPublish packaged final prelude atomicallyadelon
4 daysNarrow final prelude validationadelon
4 daysRetain exact omitted-proof locationsadelon
4 daysBind final prelude to packaged sourceadelon
4 daysValidate final prelude rolesadelon
4 daysConfine final prelude constructionadelon
4 daysConfine final prelude foundation leavesadelon
4 daysRecognize fixed set noun exactlyadelon
4 daysGeneralize exact source axiomsadelon
4 daysOpen exact claim envelopes in proofsadelon
4 daysPrepare exact claim envelopesadelon
4 daysStrengthen exact datatype trust boundaryadelon
4 daysLocate invalid datatype premisesadelon
4 daysLower fixed exact set terms uniformlyadelon
4 daysCompile exact datatype declarationsadelon
4 daysAuthorize exact datatype familiesadelon
4 daysPrepare exact datatype declarationsadelon
5 daysAuthorize exact guarded rule setsadelon
5 daysShare exact primitive vocabularyadelon
5 daysCompile exact inductive declarationsadelon
5 daysPrepare exact inductive declarationsadelon
5 daysLower exact finite-set notationadelon
5 daysLower exact replacement telescopesadelon
5 daysCompile exact separation declarationsadelon
5 daysLower exact separation comprehensionsadelon
5 daysRename shared proof validation erroradelon
5 daysLower exact omitted proofsadelon
5 daysCompile exact source axiomsadelon
5 daysDerive exact proof premise selectionadelon
5 daysSeparate ATP premises from kernel importsadelon
5 daysConfine scoped proof compositionadelon
5 daysLocate exact proof obligation failuresadelon
5 daysCompile exact ordinary proofsadelon
5 daysValidate exact scoped Vampire obligationsadelon
5 daysShare exact scoped elaborationadelon
5 daysRemove unused exact binder identitiesadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 19:47:50 +0000