mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

BFS-Prover-GGUF

Commit History

uploaded from rich1

525400b
verified

mradermacher commited on Feb 24

uploaded from rich1

712768e
verified

mradermacher commited on Feb 24

uploaded from rich1

c0fdc5c
verified

mradermacher commited on Feb 24

uploaded from rich1

983f4c4
verified

mradermacher commited on Feb 24

uploaded from rich1

9a052bc
verified

mradermacher commited on Feb 24

initial commit

5a92eb7
verified

mradermacher commited on Feb 24