Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / corpus /formulas

345 kB

Ctrl+K

Ctrl+K

3 contributors

History: 11 commits

betterwithage's picture

deploy(hf): sync szl-holdings/a11oy@eb28ea6504d34b016c6d2026f70072e32abd67e5 derived COPY set

32a782c verified 25 days ago

a11oy__a11oy_v4_formulas.py

61.6 kB
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 2 months ago
a11oy__docs__theorem-runtime-manifest.json

50.1 kB
sync(hf): mirror corpus theorem-runtime-manifest doctrine fix to live Space (additive) 3 months ago
a11oy__gates_manifest.json

53.5 kB
fix(drift-heal): sync corpus/formulas/a11oy__gates_manifest.json to GitHub canonical (lean_commit_sha b675cd84) 3 months ago
a11oy__szl_formula_wiring.py

64.3 kB
deploy(hf): sync szl-holdings/a11oy@eb28ea6504d34b016c6d2026f70072e32abd67e5 derived COPY set 25 days ago
a11oy__szl_formulas.py

54.2 kB
deploy(hf): sync szl-holdings/a11oy@eb28ea6504d34b016c6d2026f70072e32abd67e5 derived COPY set 25 days ago
a11oy__szl_puriq_formulas.py

31.2 kB
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 4 months ago
formula-corpus-evidence.json

1.47 kB
deploy(hf): sync szl-holdings/a11oy@main derived COPY set 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) 4 months ago
lutar-lean__PROVEN_FORMULAS.md

19 kB
fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix) 4 months ago
reranker-evidence.json

3.49 kB
deploy(hf): sync szl-holdings/a11oy@main derived COPY set 2 months ago
reranker-evidence.receipt.json

1.02 kB
deploy(hf): sync szl-holdings/a11oy@main derived COPY set 2 months ago