Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-GGUF
like
0
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
conversational
License:
apache-2.0
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
c0fdc5c
BFS-Prover-GGUF
/
.gitattributes
Commit History
uploaded from rich1
c0fdc5c
verified
mradermacher
commited on
Feb 24
uploaded from rich1
983f4c4
verified
mradermacher
commited on
Feb 24
initial commit
5a92eb7
verified
mradermacher
commited on
Feb 24
mradermacher
commited on
mradermacher
commited on
