mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-V1-7B-GGUF / BFS-Prover-V1-7B.Q8_0.gguf

mradermacher's picture

uploaded from marco

89e7ccd verified about 1 month ago

history blame GGUF Editor new delete

8.1 GB

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

Large File Pointer Details

( Raw pointer file )

SHA256:: fc6e21a1aa6dae95cc5f78b81609e3b129f62def11ded6552607b353888fd3e2
Pointer size:: 135 Bytes
Size of remote file:: 8.1 GB
Xet hash:: e98d1820412be41cffa484a2643eb34d8aa065d243dfeb1aca896a9bd1667796

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.