summaryrefslogtreecommitdiff
path: root/library
AgeCommit message (Collapse)Author
20 hoursClose content-addressed redesign documentationadelon
22 hoursStabilize one-core set proofsadelon
24 hoursRefresh typed-only library statusadelon
24 hoursClose the Phase 6 typed-driver gateadelon
27 hoursRecord the active typed aggregateadelon
27 hoursTighten ordinal premise selectionadelon
27 hoursActivate the typed aggregate libraryadelon
27 hoursMigrate ordinal developmentadelon
28 hoursRecord topology consumer activationadelon
28 hoursKeep topological basis authority cleanadelon
28 hoursMigrate separation spaces to exact checkingadelon
29 hoursMigrate topological disconnections to exact checkingadelon
29 hoursMigrate topological bases to exact checkingadelon
29 hoursRecord topological space activationadelon
29 hoursMigrate topological spaces to exact checkingadelon
30 hoursRecord structure foundation migrationadelon
30 hoursMigrate preclosure spacesadelon
30 hoursMigrate meet semilatticesadelon
31 hoursMigrate loops to exact checkingadelon
31 hoursMigrate quasigroups to exact checkingadelon
31 hoursMigrate monoids to exact checkingadelon
31 hoursMigrate semigroups to exact checkingadelon
31 hoursMigrate magma to exact checkingadelon
32 hoursClarify disjoint equivalence classes proofadelon
33 hoursRecord typed relation closure frontieradelon
33 hoursProve exact reflexive closureadelon
33 hoursMigrate equivalence proofsadelon
33 hoursMove corpus verification to make libadelon
34 hoursRecord exact order boundaryadelon
34 hoursActivate exact order checkingadelon
35 hoursActivate exact quasiorder checkingadelon
36 hoursRecord equinumerosity migrationadelon
36 hoursMigrate equinumerosity proofsadelon
41 hoursRecord Cantor and fixpoint migrationadelon
41 hoursMigrate Cantor and fixpoint proofsadelon
43 hoursSimplify exact function proofsadelon
43 hoursSimplify exact product proofsadelon
43 hoursRecord function migration boundaryadelon
43 hoursMigrate function proofs to exact checkingadelon
44 hoursRecord relation property migrationadelon
44 hoursStabilize reflexive intersection proofadelon
44 hoursMigrate relation uniqueness proofs to exact checkingadelon
44 hoursMigrate relation property proofs to exact checkingadelon
44 hoursStabilize converse subset proofadelon
45 hoursRecord base relation migrationadelon
45 hoursMigrate base relation proofs to exact checkingadelon
Express converse, domain, range, and composition with the checked replacement and separation forms. This preserves their ordered-pair meaning without extending the exact core with the legacy predicate-replacement construct.
46 hoursRecord product and filter migrationadelon
46 hoursMigrate filter proofs to exact checkingadelon
47 hoursMigrate product proofs to exact checkingadelon
47 hoursDocument canonical successor identityadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-04 19:24:55 +0000