Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
zhangjf
/
kimina-lean-server
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
kimina-lean-server
330 kB
Ctrl+K
Ctrl+K
2 contributors
History:
65 commits
zhangjf
change lean4check_single_fast returns type
1704556
verified
16 days ago
__pycache__
polish UI
3 months ago
kimina_client
rollback kimina_client
3 months ago
minif2f-solved-by-longcat-flash-thinking
add minif2f cases
3 months ago
.env
Safe
270 Bytes
debug server
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
Dockerfile
Safe
1.39 kB
debug server
3 months ago
README.md
Safe
1.15 kB
add minif2f cases
3 months ago
app.py
Safe
11.9 kB
change lean4check_single_fast returns type
16 days ago
fixed_server.py
Safe
10.1 kB
debug server
3 months ago
install_repo.sh
Safe
943 Bytes
Rename setup.sh to install_repo.sh
3 months ago
kimina_api.py
Safe
3.88 kB
debug server
3 months ago
requirements.txt
Safe
215 Bytes
Upload 3 files
3 months ago
start.sh
Safe
269 Bytes
rollback kimina_client
3 months ago
