mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

BFS-Prover-GGUF / BFS-Prover.Q4_K_S.gguf

Commit History

uploaded from rich1

983f4c4
verified

mradermacher commited on Feb 24