mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF

68.1 GB

1 contributor

History: 18 commits

mradermacher's picture

auto-patch README.md

6f69f43 verified 3 months ago