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
/
tokenizer.json
Commit History
Upload tokenizer
300f1a6
verified
Slim205
commited on
Sep 1, 2025
Slim205
commited on
