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