Aleph prover
GitHub App
Aleph prover
GitHub App
Automated theorem prover for Lean 4 projects. Clones repositories, generates proofs, and creates pull requests with proven theorems.
Developer
Aleph prover is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.
Report abuse