# leanabell-lm/leanabell-prover-v2

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/leanabell-lm-leanabell-prover-v2).**

0 stars · 0 forks

## Links

- GitHub: https://github.com/Leanabell-LM/Leanabell-Prover-V2
- awesome-repositories: https://awesome-repositories.com/repository/leanabell-lm-leanabell-prover-v2.md

## Tags

### Part of an Awesome List

- [Code and Formal Reasoning](https://awesome-repositories.com/f/awesome-lists/ai/code-and-formal-reasoning.md) — Verifier-integrated reasoning for formal theorem proving.