Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / corpus /lean

132 kB

Ctrl+K

Ctrl+K

3 contributors

History: 2 commits

betterwithage's picture

chore(align): sync locked-8 merged files (STATUS, console, corpus README, a11oy_code_engine) byte-identical to GitHub main

8783eb3 verified 2 months ago

lutar-lean__Lutar.lean

31.6 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Doctrine__PublicClaims.lean

5.49 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Khipu__SummationInvariant.lean

12 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Puriq__Formulas__ProvedFormulas.lean

5.26 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Round13__CauchyND_Closure.lean

18.7 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Round13__Lambda_Uniqueness.lean

12.3 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__Lutar__Uniqueness.lean

10.2 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__PROVEN_FORMULAS.md

19 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago
lutar-lean__README.md

13.7 kB
chore(align): sync locked-8 merged files (STATUS, console, corpus README, a11oy_code_engine) byte-identical to GitHub main 2 months ago
lutar-lean__VERIFIED_THEOREMS.md

3.78 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 2 months ago