QuantFactory/BFS-Prover-GGUF
11k
Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub
Upload BFS-Prover.Q3_K_S.gguf with huggingface_hub
Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub
Upload BFS-Prover.Q3_K_L.gguf with huggingface_hub
Upload BFS-Prover.Q2_K.gguf with huggingface_hub
Upload BFS-Prover.Q5_1.gguf with huggingface_hub
Upload BFS-Prover.Q5_0.gguf with huggingface_hub
Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub
Upload BFS-Prover.Q5_K_M.gguf with huggingface_hub
Upload BFS-Prover.Q6_K.gguf with huggingface_hub
Upload BFS-Prover.Q8_0.gguf with huggingface_hub
Upload BFS-Prover.Q4_0.gguf with huggingface_hub
Upload BFS-Prover.Q4_1.gguf with huggingface_hub
Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub
Upload README.md with huggingface_hub
initial commit
