Hugging Face's logo

Spaces:
zhangjf
/
kimina-lean-server
Running

App Files Community
kimina-lean-server

Commit History

Update app.py
8c96a4b
Running
verified

zhangjf commited on

polish UI
3885e8e

zhangjianfei09 commited on

rollback kimina_client
13417af

zhangjianfei09 commited on

rollback kimina_client
5d29b68

zhangjianfei09 commited on

debug server
9145dda

zhangjianfei09 commited on

debug server
3aa5ca7

zhangjianfei09 commited on

debug server
bd529ee

zhangjianfei09 commited on

debug server
f762836

zhangjianfei09 commited on

debug server
4fe02a1

zhangjianfei09 commited on

debug server
1ec1694

zhangjianfei09 commited on

debug server
6c144d3

zhangjianfei09 commited on

debug server
3e3144c

zhangjianfei09 commited on

debug server
e1473e4

zhangjianfei09 commited on

debug server
77f9f66

zhangjianfei09 commited on

debug server
38aad12

zhangjianfei09 commited on

debug server
ca964ef

zhangjianfei09 commited on

debug server
7c65a09

zhangjianfei09 commited on

update Dockerfile and app.py
75fd018

zhangjianfei09 commited on

Update start.sh
4526bd9
verified

zhangjf commited on

Update app.py
8151288
verified

zhangjf commited on

add minif2f cases
95d275b

zhangjianfei09 commited on

Update .env
c150c0c
verified

zhangjf commited on

Update start.sh
98f46bf
verified

zhangjf commited on

Update Dockerfile
47ff109
verified

zhangjf commited on

Update app.py
42f06d5
verified

zhangjf commited on

Update start.sh
add3b78
verified

zhangjf commited on

Create .env
05aaabc
verified

zhangjf commited on

Update app.py
3201199
verified

zhangjf commited on

Update app.py
24f10c4
verified

zhangjf commited on

Update start.sh
48e63bf
verified

zhangjf commited on

Update start.sh
8152e59
verified

zhangjf commited on

Update start.sh
df8f585
verified

zhangjf commited on

Update Dockerfile
df0546a
verified

zhangjf commited on

Update Dockerfile
14ac2de
verified

zhangjf commited on

Update Dockerfile
2c53fe5
verified

zhangjf commited on

Rename setup.sh to install_repo.sh
455f483
verified

zhangjf commited on

Update Dockerfile
1174f4e
verified

zhangjf commited on

Create setup.sh
06a4e8f
verified

zhangjf commited on

Update Dockerfile
c8345e9
verified

zhangjf commited on

Update Dockerfile
50126bf
verified

zhangjf commited on

Update Dockerfile
1748233
verified

zhangjf commited on

Update Dockerfile
c5c46e0
verified

zhangjf commited on

Update Dockerfile
ea8105b
verified

zhangjf commited on

Update Dockerfile
7da7698
verified

zhangjf commited on

Update Dockerfile
e8ade3b
verified

zhangjf commited on

Update Dockerfile
ee64280
verified

zhangjf commited on

Update Dockerfile
9573e0a
verified

zhangjf commited on

Create lean-toolchain
4921453
verified

zhangjf commited on

Create lakefile.lean
8f0e61c
verified

zhangjf commited on

Create lake-manifest.json
cf50057
verified

zhangjf commited on