summaryrefslogtreecommitdiff
path: root/source/Test/Unit/Module.hs
AgeCommit message (Expand)Author
4 daysSupport proof-local set definitionsadelon
4 daysActivate typed function moduleadelon
4 daysResolve source application through applyadelon
4 daysCheck quantified subject semanticsadelon
4 daysActivate relation property typed rootsadelon
4 daysCompile quantified exact noun subjectsadelon
4 daysAdvance cache epoch for relation loweringadelon
4 daysActivate base relation typed rootadelon
4 daysLower relation expressions through ordered pairsadelon
4 daysActivate product and filter typed rootsadelon
4 daysAlign successor with canonical set insertionadelon
4 daysActivate elementary set modulesadelon
4 daysPublish checked powerset foundation factadelon
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 daysParse packaged final prelude sourceadelon
4 daysRecognize fixed set noun exactlyadelon
4 daysGeneralize exact source axiomsadelon
4 daysOpen exact claim envelopes in proofsadelon
4 daysStrengthen exact datatype trust boundaryadelon
4 daysLocate invalid datatype premisesadelon
4 daysCompile exact datatype declarationsadelon
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 daysCompile exact finite-set notationadelon
5 daysCompile exact replacement comprehensionsadelon
5 daysReuse exact separation validationadelon
5 daysCompile exact separation declarationsadelon
5 daysExercise exact escape authorityadelon
5 daysLower exact omitted proofsadelon
5 daysCompile exact source axiomsadelon
5 daysLocate exact proof obligation failuresadelon
5 daysVerify exact proof validation reuseadelon
5 daysCompile exact ordinary proofsadelon
5 daysCorrect exact semantic resolutionadelon
5 daysDistinguish semantic global targetsadelon
5 daysCheck exact declarations in typed modulesadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 19:47:50 +0000