summaryrefslogtreecommitdiff
path: root/library
AgeCommit message (Expand)Author
2 daysAlign successor with canonical set insertionadelon
2 daysRecord elementary set migration statusadelon
2 daysMigrate elementary set proofs to exact checkingadelon
2 daysSeparate ordered tuples from PairSetadelon
3 daysActivate packaged prelude for protected rootsadelon
3 daysRewrite protected set and naturals closureadelon
5 daysBuild module-local syntax interfacesadelon
5 daysFreeze content-addressed migration inventoryadelon
7 daysClean libadelon
8 daysAuthorize ground reflexivity through kernel replayadelon
8 daysCheck admitted modules sequentiallyadelon
8 daysRemove obsolete source-loading bypassesadelon
2026-07-03Track ownership of top-level symbolsadelon
2026-04-13Implement datatypesadelon
2026-04-12Make handling of local variables stricteradelon
2026-04-12Update lexicon.tsvadelon
2026-04-11Update lexicon.tsvadelon
2026-03-07Use pi-system notation for finite intersectionsadelon
2026-03-07Fix spacing in finite set expressionsadelon
2026-03-07Update lexicon.tsv for MathML Coreadelon
2026-03-07Update lexicon.tsvadelon
2026-03-07Update lexicon.tsvadelon
2026-03-07Fix rendering of relation symbolsadelon
2026-03-07Update lexicon.tsvadelon
2026-03-07Add HTML rendering skeletonadelon
2026-02-24Use shorter `_local_N` marker in TPTP outputadelon
2026-02-20Clean/fixadelon
2026-02-13Delete formalizations.texadelon
2026-02-13Tokenize more efficientlyadelon
2026-02-05Add `lexiconAllPatterns`, basic warning for dupe patternadelon
2025-12-11Optimize proof step for Vampire 5.0.0adelon
2025-12-03Update regularity.texadelon
2025-11-29Integrate chunker and import gatherer into lexeradelon
2025-11-27Update errors and cull formalizationsadelon
2025-08-23Update urysohntwo.texadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-09Update function.texadelon
2025-07-09Refine `bijection_circ`adelon
2025-07-09`fld_cons` faster proof (down from 12s)adelon
2025-07-08Revert function changesadelon
2025-07-08Update lemma nameadelon
2025-07-08Optimize proofadelon
2025-07-08Linting and optimizationadelon
2025-07-08Lintingadelon
2025-07-07Clean whitespace, add TODOadelon
2025-07-07Basic proofsadelon
2025-07-07Update set.texadelon
2025-07-04Delete wunschzettel.texadelon
2025-07-04Update function.texadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:22:17 +0000