---
language:
- en
license: apache-2.0
tags:
- lean4
- theorem-proving
- verification
- code-verification
- mlx
base_model: Goedel-LM/Goedel-Code-Prover-8B
library_name: mlx
pipeline_tag: text-generation
---