summaryrefslogtreecommitdiff
path: root/source/Test
AgeCommit message (Expand)Author
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 daysParse packaged final prelude sourceadelon
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
5 daysCompile exact datatype declarationsadelon
5 daysAuthorize exact datatype familiesadelon
5 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 daysCompile exact finite-set notationadelon
5 daysLower exact finite-set notationadelon
5 daysCompile exact replacement comprehensionsadelon
5 daysLower exact replacement telescopesadelon
5 daysReuse exact separation validationadelon
5 daysCompile exact separation declarationsadelon
5 daysLower exact separation comprehensionsadelon
5 daysExercise exact escape authorityadelon
5 daysLower exact omitted proofsadelon
5 daysCompile exact source axiomsadelon
5 daysSeparate ATP premises from kernel importsadelon
5 daysConfine scoped proof compositionadelon
5 daysLocate exact proof obligation failuresadelon
5 daysVerify exact proof validation reuseadelon
5 daysCompile exact ordinary proofsadelon
5 daysValidate exact scoped Vampire obligationsadelon
5 daysShare exact scoped elaborationadelon
5 daysRemove unused exact binder identitiesadelon
5 daysCorrect exact semantic resolutionadelon
5 daysDistinguish semantic global targetsadelon
5 daysCheck exact declarations in typed modulesadelon
5 daysAuthorize exact defining equationsadelon
5 daysCompile exact declarations to checked coreadelon
5 daysBind exact globals in semantic deltasadelon
5 daysFix module-major parse failure orderadelon
5 daysCount cached source chunksadelon
5 daysGeneralize identified parsed module namingadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 20:32:44 +0000