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
File size: 28 Bytes
dddc1ae
1
2
leanprover
/lean4:v4.
7
.
0
-rc2
