Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ZAIDX11
/
Axiovora-X
like
1
Model card
Files
Files and versions
xet
Community
main
Axiovora-X
File size: 25 Bytes
deefe2e
1
2
leanprover
/lean4:v4.
22
.
0
