mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF

3.02 GB

1 contributor

History: 3 commits

mradermacher's picture

uploaded from marco

49baff1 verified 29 days ago