Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
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
2 months ago
__pycache__
polish UI
4 months ago
kimina_client
rollback kimina_client
4 months ago
minif2f-solved-by-longcat-flash-thinking
add minif2f cases
4 months ago
.env
270 Bytes
debug server
4 months ago
.gitattributes
Safe
1.52 kB
initial commit
4 months ago
Dockerfile
1.39 kB
debug server
4 months ago
README.md
1.15 kB
add minif2f cases
4 months ago
app.py
11.9 kB
change lean4check_single_fast returns type
2 months ago
fixed_server.py
10.1 kB
debug server
4 months ago
install_repo.sh
943 Bytes
Rename setup.sh to install_repo.sh
4 months ago
kimina_api.py
3.88 kB
debug server
4 months ago
requirements.txt
215 Bytes
Upload 3 files
4 months ago
start.sh
269 Bytes
rollback kimina_client
4 months ago
