Spaces:

SZLHOLDINGS
/

killinchu

Running

App Files Files Community

killinchu / corpus /lean

Ctrl+K

Ctrl+K

5 contributors

History: 3 commits

betterwithage's picture

deploy(hf): sync szl-holdings/killinchu@main derived COPY set

f65c440 verified about 1 month ago

lutar-lean__Lutar.lean

31.6 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) about 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) about 2 months ago
lutar-lean__Lutar__Khipu__SummationInvariant.lean

12 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) about 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) about 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) about 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) about 2 months ago
lutar-lean__Lutar__Uniqueness.lean

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

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

13.7 kB
deploy(hf): sync szl-holdings/killinchu@main derived COPY set about 1 month ago
lutar-lean__VERIFIED_THEOREMS.md

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