tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Inference Endpoints

Model card Files Files and versions Community

BFS-Prover-GGUF / BFS-Prover-Q3_K_L.gguf

morriszms's picture

Upload folder using huggingface_hub

f260e55 verified 3 days ago

history blame contribute delete

4.09 GB

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

Git LFS Details

SHA256: bc2cdaee0bb85575194b793092413f00f719f8c13f7d36e08d804c91b9205e7f
Pointer size: 135 Bytes
Size of remote file: 4.09 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.