tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF

6.82 GB

1 contributor

History: 6 commits

morriszms's picture

Keep Q2_K/Q3_K_M gguf only

d800522 verified 15 days ago