Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / proofs

112 kB

Ctrl+K

Ctrl+K

3 contributors

History: 2 commits

betterwithage's picture

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

a0f8a7d verified 13 days ago

lutar-lean
deploy(hf): sync szl-holdings/a11oy@main derived COPY set 29 days ago
lean-theorem-tree.json

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