mradermacher
/

BFS-Prover-V1-7B-i1-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-i1-GGUF / BFS-Prover-V1-7B.i1-Q4_1.gguf

Commit History

uploaded from marco

7015cb4
verified

mradermacher commited on Oct 15