mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF

Commit History

uploaded from marco

49baff1
verified

mradermacher commited on Oct 15

uploaded from marco

d4ec805
verified

mradermacher commited on Oct 15

initial commit

fbe3660
verified

mradermacher commited on Oct 15