Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
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
Ctrl+K
Ctrl+K
2 contributors
History:
65 commits
zhangjf
change lean4check_single_fast returns type
1704556
verified
5 months ago
__pycache__
polish UI
7 months ago
kimina_client
rollback kimina_client
7 months ago
minif2f-solved-by-longcat-flash-thinking
add minif2f cases
7 months ago
.env
Safe
270 Bytes
debug server
7 months ago
.gitattributes
Safe
1.52 kB
initial commit
7 months ago
Dockerfile
Safe
1.39 kB
debug server
7 months ago
README.md
Safe
1.15 kB
add minif2f cases
7 months ago
app.py
Safe
11.9 kB
change lean4check_single_fast returns type
5 months ago
fixed_server.py
Safe
10.1 kB
debug server
7 months ago
install_repo.sh
Safe
943 Bytes
Rename setup.sh to install_repo.sh
7 months ago
kimina_api.py
Safe
3.88 kB
debug server
7 months ago
requirements.txt
Safe
215 Bytes
Upload 3 files
7 months ago
start.sh
Safe
269 Bytes
rollback kimina_client
7 months ago
