Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / corpus /formulas

345 kB

Ctrl+K

Ctrl+K

3 contributors

History: 10 commits

betterwithage's picture

chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend)

8fa0893 verified 12 days ago

a11oy__a11oy_v4_formulas.py

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

50.1 kB
sync(hf): mirror corpus theorem-runtime-manifest doctrine fix to live Space (additive) about 2 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) about 2 months ago
a11oy__szl_formula_wiring.py

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

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

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

1.47 kB
deploy(hf): sync szl-holdings/a11oy@main derived COPY set 17 days 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
reranker-evidence.json

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

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