mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

BFS-Prover-GGUF

Commit History

auto-patch README.md

3febc13
verified

mradermacher commited on Feb 24

uploaded from rich1

42424fa
verified

mradermacher commited on Feb 24

auto-patch README.md

03ab200
verified

mradermacher commited on Feb 24

uploaded from rich1

9eff718
verified

mradermacher commited on Feb 24

uploaded from rich1

6cbe640
verified

mradermacher commited on Feb 24

uploaded from rich1

8d9dfb6
verified

mradermacher commited on Feb 24

uploaded from rich1

1f502ab
verified

mradermacher commited on Feb 24

uploaded from rich1

42dbc59
verified

mradermacher commited on Feb 24

uploaded from rich1

2a2b329
verified

mradermacher commited on Feb 24

uploaded from rich1

4dc5469
verified

mradermacher commited on Feb 24

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