Hugging Face's logo

Spaces:
SZLHOLDINGS
/
a11oy
Running

App Files Community
12
a11oy / corpus /lean /lutar-lean__Lutar__Doctrine__PublicClaims.lean

Commit History

fix(org-rag): in-image corpus mirror for GitHub-only categories (egress fix)
545c5f9
verified

betterwithage commited on