Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
BFS-Prover-GGUF / BFS-Prover.Q2_K.gguf

Commit History

Upload BFS-Prover.Q2_K.gguf with huggingface_hub
b73267d
verified

aashish1904 commited on