Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
mradermacher commited on
Commit
525400b
·
verified ·
1 Parent(s): 712768e

uploaded from rich1

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover.Q8_0.gguf +3 -0
.gitattributes CHANGED
@@ -36,3 +36,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
36
  BFS-Prover.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
37
  BFS-Prover.f16.gguf filter=lfs diff=lfs merge=lfs -text
38
  BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
 
 
36
  BFS-Prover.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
37
  BFS-Prover.f16.gguf filter=lfs diff=lfs merge=lfs -text
38
  BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
39
+ BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover.Q8_0.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:b3d55945ede731a596a447a04672d3d8473067653b9184ccb4d5fa86d8c924e2
3
+ size 8098526592