mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

BFS-Prover-GGUF / README.md

Commit History

auto-patch README.md

3febc13
verified

mradermacher commited on Feb 24

auto-patch README.md

03ab200
verified

mradermacher commited on Feb 24

uploaded from rich1

9a052bc
verified

mradermacher commited on Feb 24