Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Slim205
/
Lean-conjecturer
like
0
Safetensors
English
llama
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
Lean-conjecturer
/
.gitattributes
Commit History
Upload photo.png
d8f151f
verified
Slim205
commited on
Sep 1, 2025
initial commit
9bb7574
verified
Slim205
commited on
Sep 1, 2025
Slim205
commited on
Slim205
commited on
