mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

mradermacher commited on Feb 24

Commit

42dbc59

·

verified ·

1 Parent(s): 2a2b329

uploaded from rich1

Files changed (2) hide show

.gitattributes +1 -0
BFS-Prover.Q3_K_S.gguf +3 -0

.gitattributes CHANGED Viewed

@@ -39,3 +39,4 @@ BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text

 BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+BFS-Prover.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text

BFS-Prover.Q3_K_S.gguf ADDED Viewed

	@@ -0,0 +1,3 @@

+version https://git-lfs.github.com/spec/v1
+oid sha256:0e8b50d29faca44899e5a7d309c6b912a419f0fd0a5ee1d19fe1cfa3f772d18a
+size 3492369792