Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
DiffLean
/
Euler-Prover-8B
like
0
Follow
SPA
4
Text Generation
PEFT
Safetensors
lora
llama-factory
lean
theorem-proving
formal-reasoning
math
difflean
qwen3
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
Euler-Prover-8B
Commit History
Upload Euler-Prover-8B adapter files
f67b974
verified
Jforeverss
commited on
about 20 hours ago
initial commit
c96bec3
verified
Jforeverss
commited on
about 20 hours ago
Jforeverss commited on 
