Spaces:

SZLHOLDINGS
/

killinchu

Running

App Files Files Community

killinchu / corpus /formulas

339 kB

Ctrl+K

Ctrl+K

5 contributors

History: 6 commits

betterwithage's picture

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

6c97677 verified 11 days ago

a11oy__a11oy_v4_formulas.py

61.6 kB
deploy(hf): sync szl-holdings/killinchu@main derived COPY set 11 days ago
a11oy__docs__theorem-runtime-manifest.json

50.1 kB
sync(hf): mirror corpus theorem-runtime-manifest to live Space, GitHub==Space (additive) about 2 months ago
a11oy__gates_manifest.json

53.5 kB
sync: heal HF Space module-drift — push canonical GitHub bytes about 1 month ago
a11oy__szl_formula_wiring.py

64.3 kB
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync mirror-app) about 2 months ago
a11oy__szl_formulas.py

54.2 kB
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync mirror-app) about 2 months ago
a11oy__szl_puriq_formulas.py

31.2 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__PROVEN_FORMULAS.md

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