Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
rookiemango
/
lean4-compile
like
0
Model card
Files
Files and versions
Community
main
lean4-compile
/
.lake
/
build
/
lib
/
REPL
1 contributor
History:
1 commit
rookiemango
Upload folder using huggingface_hub
a4fcbf1
verified
5 months ago
Lean
Upload folder using huggingface_hub
5 months ago
Util
Upload folder using huggingface_hub
5 months ago
Frontend.ilean
5.12 kB
Upload folder using huggingface_hub
5 months ago
Frontend.ilean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
Frontend.olean
101 kB
Upload folder using huggingface_hub
5 months ago
Frontend.olean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Frontend.trace
19 Bytes
Upload folder using huggingface_hub
5 months ago
JSON.ilean
18.9 kB
Upload folder using huggingface_hub
5 months ago
JSON.ilean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
JSON.olean
1.03 MB
LFS
Upload folder using huggingface_hub
5 months ago
JSON.olean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
JSON.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
Main.ilean
33.8 kB
Upload folder using huggingface_hub
5 months ago
Main.ilean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Main.olean
1.07 MB
LFS
Upload folder using huggingface_hub
5 months ago
Main.olean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Main.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
Snapshots.ilean
44 kB
Upload folder using huggingface_hub
5 months ago
Snapshots.ilean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Snapshots.olean
952 kB
Upload folder using huggingface_hub
5 months ago
Snapshots.olean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
Snapshots.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
