Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
mradermacher commited on
Commit
1f502ab
·
verified ·
1 Parent(s): 42dbc59

uploaded from rich1

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover.Q3_K_L.gguf +3 -0
.gitattributes CHANGED
@@ -40,3 +40,4 @@ BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
40
  BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
41
  BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
42
  BFS-Prover.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
 
 
40
  BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
41
  BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
42
  BFS-Prover.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
43
+ BFS-Prover.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover.Q3_K_L.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:7d33ff0c815461c7cc22339c1da721797f32df4a7e7661118789b9f1ade3c7ef
3
+ size 4088460672