Hugging Face's logo

mradermacher
/
BFS-Prover-GGUF

Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
Model card Files
xet
 Community
BFS-Prover-GGUF

Commit History

auto-patch README.md
6f69f43
verified

mradermacher commited on

auto-patch README.md
cbac5ee
verified

mradermacher commited on

auto-patch README.md
3febc13
verified

mradermacher commited on

uploaded from rich1
42424fa
verified

mradermacher commited on

auto-patch README.md
03ab200
verified

mradermacher commited on

uploaded from rich1
9eff718
verified

mradermacher commited on

uploaded from rich1
6cbe640
verified

mradermacher commited on

uploaded from rich1
8d9dfb6
verified

mradermacher commited on

uploaded from rich1
1f502ab
verified

mradermacher commited on

uploaded from rich1
42dbc59
verified

mradermacher commited on

uploaded from rich1
2a2b329
verified

mradermacher commited on

uploaded from rich1
4dc5469
verified

mradermacher commited on

uploaded from rich1
525400b
verified

mradermacher commited on

uploaded from rich1
712768e
verified

mradermacher commited on

uploaded from rich1
c0fdc5c
verified

mradermacher commited on

uploaded from rich1
983f4c4
verified

mradermacher commited on

uploaded from rich1
9a052bc
verified

mradermacher commited on

initial commit
5a92eb7
verified

mradermacher commited on