Spaces:

lzumot
/

lean-prover-validator

Running

App Files Files Community

lean-prover-validator / Dockerfile

Commit History

2026-01-26 test1

3d52ca6

LamZain commited on Jan 26

2026-01-26 test1

34d7ab3

LamZain commited on Jan 26

2026-01-26 test1

cdd234b

LamZain commited on Jan 26

2026-01-26 test1

a476b57

LamZain commited on Jan 26

test

dc0a83a

LamZain commited on Jan 26