Add new theorems and proofs #56

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

aleph-prover-local wants to merge 1 commit into master from ai-prover-20260119_015908

aleph-prover-local bot commented Jan 19, 2026

This PR contains:

Proof request: Prove all theorems in EasyLean/Basic.lean
Theorem proofs completed
All tests passing


          Add new theorems and proofs

8c1d4d1

Automated commit at 20260119_015908

aleph-prover-local bot added the automated-proof label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated-proof