Hugging Face's logo

DiffLean
/
Euler-Prover-8B

Text Generation
PEFT
Safetensors
lora
llama-factory
lean
theorem-proving
formal-reasoning
math
difflean
qwen3
conversational
Model card Files
xet
 Community
Euler-Prover-8B / tokenizer.json

Commit History

Upload Euler-Prover-8B adapter files
f67b974
verified

Jforeverss commited on