Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / corpus /formulas

Ctrl+K

Ctrl+K

3 contributors

History: 5 commits

betterwithage's picture

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

e7c45ca verified 2 months ago

a11oy__a11oy_v4_formulas.py

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

46 kB
Task #695: relabel phantom Lean citations in theorem-runtime-manifest (md5 parity w/ GitHub) 2 months ago
a11oy__gates_manifest.json

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

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

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

31.2 kB
chore(sync): mirror backend .py + Dockerfile to Space (hf-sync-backend) 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__PROVEN_FORMULAS.md

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