Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

a11oy / proofs /lutar-lean

25.1 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

betterwithage's picture

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

f6bb42c verified 3 months ago

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