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
/
Lean
1 contributor
History:
1 commit
rookiemango
Upload folder using huggingface_hub
a4fcbf1
verified
5 months ago
InfoTree
Upload folder using huggingface_hub
5 months ago
ContextInfo.ilean
1.03 kB
Upload folder using huggingface_hub
5 months ago
ContextInfo.ilean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
ContextInfo.olean
27.5 kB
Upload folder using huggingface_hub
5 months ago
ContextInfo.olean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
ContextInfo.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
Environment.ilean
2.69 kB
Upload folder using huggingface_hub
5 months ago
Environment.ilean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
Environment.olean
69.1 kB
Upload folder using huggingface_hub
5 months ago
Environment.olean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Environment.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
InfoTree.ilean
34.8 kB
Upload folder using huggingface_hub
5 months ago
InfoTree.ilean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
InfoTree.olean
487 kB
Upload folder using huggingface_hub
5 months ago
InfoTree.olean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
InfoTree.trace
18 Bytes
Upload folder using huggingface_hub
5 months ago
