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
/
REPL
1 contributor
History:
1 commit
rookiemango
Upload folder using huggingface_hub
dddc1ae
verified
5 months ago
Lean
Upload folder using huggingface_hub
5 months ago
Util
Upload folder using huggingface_hub
5 months ago
Frontend.lean
1.91 kB
Upload folder using huggingface_hub
5 months ago
JSON.lean
4.84 kB
Upload folder using huggingface_hub
5 months ago
Main.lean
12.2 kB
Upload folder using huggingface_hub
5 months ago
Snapshots.lean
11.8 kB
Upload folder using huggingface_hub
5 months ago
