Spaces:
Running
Running
Commit History
add lean4check_single_fast 532ad35 verified
status.value 0ad1edb verified
delete print public IP 9ff24ca verified
fix: lean4_check dcc4fdf verified
fix: lean4_check bca8b7d verified
fix: lean4_check f61059d verified
replace button action with lean4_check 5df5f73 verified
add lean4_check api 9b234a7 verified
Update app.py 3a8ec69 verified
Update app.py 8c96a4b verified
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
Update app.py 8151288 verified
add minif2f cases 95d275b
zhangjianfei09 commited on