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:
SZLHOLDINGS
/
lean-kernel
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
lean-kernel
41.8 kB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
betterwithage
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
0540051
verified
1 day ago
app
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
data
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
.gitattributes
Safe
1.52 kB
initial commit
1 day ago
Dockerfile
Safe
2.16 kB
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
README.md
Safe
1.93 kB
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
nginx.conf
Safe
661 Bytes
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
requirements.txt
Safe
43 Bytes
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
start.sh
Safe
430 Bytes
ship: SZLHOLDINGS/lean-kernel β live Lean v4.13.0 + Mathlib kernel, 7 API endpoints, honest build status
1 day ago
