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
/
Util
1 contributor
History:
1 commit
rookiemango
Upload folder using huggingface_hub
a4fcbf1
verified
5 months ago
Path.ilean
1.64 kB
Upload folder using huggingface_hub
5 months ago
Path.ilean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Path.olean
73 kB
Upload folder using huggingface_hub
5 months ago
Path.olean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
Path.trace
20 Bytes
Upload folder using huggingface_hub
5 months ago
Pickle.ilean
1.71 kB
Upload folder using huggingface_hub
5 months ago
Pickle.ilean.hash
20 Bytes
Upload folder using huggingface_hub
5 months ago
Pickle.olean
85.8 kB
Upload folder using huggingface_hub
5 months ago
Pickle.olean.hash
19 Bytes
Upload folder using huggingface_hub
5 months ago
Pickle.trace
19 Bytes
Upload folder using huggingface_hub
5 months ago
