Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-V2-32B-i1-GGUF
like
0
Transformers
GGUF
English
lean4
step-prover
imatrix
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
77b7e2a
BFS-Prover-V2-32B-i1-GGUF
/
BFS-Prover-V2-32B.i1-IQ1_M.gguf
Commit History
uploaded from marco
b0fae88
verified
mradermacher
commited on
Oct 1
