Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
ZAIDX11
/
Axiovora-X
like
1
Model card
Files
Files and versions
xet
Community
main
Axiovora-X
/
MyProject
8.83 MB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
ZAIDX11
Add files using upload-large-folder tool
19faf57
verified
5 months ago
.github
Add files using upload-large-folder tool
5 months ago
.lake
Add files using upload-large-folder tool
5 months ago
MyProject
Add files using upload-large-folder tool
5 months ago
.gitignore
7 Bytes
Add files using upload-large-folder tool
5 months ago
Main.lean
73 Bytes
Add files using upload-large-folder tool
5 months ago
MyProject.lean
153 Bytes
Add files using upload-large-folder tool
5 months ago
README.md
11 Bytes
Add files using upload-large-folder tool
5 months ago
lake-manifest.json
115 Bytes
Add files using upload-large-folder tool
5 months ago
lakefile.toml
148 Bytes
Add files using upload-large-folder tool
5 months ago
lean-toolchain
25 Bytes
Add files using upload-large-folder tool
5 months ago
requirements.txt
231 Bytes
Add files using upload-large-folder tool
5 months ago
