mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Inference Endpoints

Model card Files Files and versions Community

BFS-Prover-GGUF / BFS-Prover.Q4_K_M.gguf

mradermacher's picture

uploaded from rich1

8d9dfb6 verified 20 days ago

history blame contribute delete

4.68 GB

This file is stored with Git LFS . It is too big to display, but you can still download it.

Git LFS Details

SHA256: 4b02e1c05e550cb95291a28ae2ed53375c47e89f6388e78f1d22a6a753939055
Pointer size: 135 Bytes
Size of remote file: 4.68 GB

Raw pointer file

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.