summaryrefslogtreecommitdiff
path: root/library
AgeCommit message (Expand)Author
30 hoursClose content-addressed redesign documentationadelon
32 hoursStabilize one-core set proofsadelon
34 hoursRefresh typed-only library statusadelon
34 hoursClose the Phase 6 typed-driver gateadelon
37 hoursRecord the active typed aggregateadelon
37 hoursTighten ordinal premise selectionadelon
37 hoursActivate the typed aggregate libraryadelon
37 hoursMigrate ordinal developmentadelon
38 hoursRecord topology consumer activationadelon
38 hoursKeep topological basis authority cleanadelon
38 hoursMigrate separation spaces to exact checkingadelon
38 hoursMigrate topological disconnections to exact checkingadelon
39 hoursMigrate topological bases to exact checkingadelon
39 hoursRecord topological space activationadelon
39 hoursMigrate topological spaces to exact checkingadelon
40 hoursRecord structure foundation migrationadelon
40 hoursMigrate preclosure spacesadelon
40 hoursMigrate meet semilatticesadelon
41 hoursMigrate loops to exact checkingadelon
41 hoursMigrate quasigroups to exact checkingadelon
41 hoursMigrate monoids to exact checkingadelon
41 hoursMigrate semigroups to exact checkingadelon
41 hoursMigrate magma to exact checkingadelon
42 hoursClarify disjoint equivalence classes proofadelon
43 hoursRecord typed relation closure frontieradelon
43 hoursProve exact reflexive closureadelon
43 hoursMigrate equivalence proofsadelon
43 hoursMove corpus verification to make libadelon
44 hoursRecord exact order boundaryadelon
44 hoursActivate exact order checkingadelon
44 hoursActivate exact quasiorder checkingadelon
46 hoursRecord equinumerosity migrationadelon
46 hoursMigrate equinumerosity proofsadelon
2 daysRecord Cantor and fixpoint migrationadelon
2 daysMigrate Cantor and fixpoint proofsadelon
2 daysSimplify exact function proofsadelon
2 daysSimplify exact product proofsadelon
2 daysRecord function migration boundaryadelon
2 daysMigrate function proofs to exact checkingadelon
2 daysRecord relation property migrationadelon
2 daysStabilize reflexive intersection proofadelon
2 daysMigrate relation uniqueness proofs to exact checkingadelon
2 daysMigrate relation property proofs to exact checkingadelon
2 daysStabilize converse subset proofadelon
2 daysRecord base relation migrationadelon
2 daysMigrate base relation proofs to exact checkingadelon
2 daysRecord product and filter migrationadelon
2 daysMigrate filter proofs to exact checkingadelon
2 daysMigrate product proofs to exact checkingadelon
2 daysDocument canonical successor identityadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:40 +0000