Skip to content

Pull requests: logical-ivan/easy-lean

New pull request New
209 Open 0 Closed
209 Open 0 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Proof for mathd_algebra_513 automated-proof
#209 opened Aug 20, 2026 by aleph-prover Bot Loading…
Proof for eq_four automated-proof
#208 opened Aug 18, 2026 by aleph-prover-test Bot Loading…
Proof for eq_four automated-proof
#207 opened Aug 18, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#206 opened Aug 4, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#205 opened May 1, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#204 opened May 1, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#203 opened May 1, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#202 opened May 1, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#201 opened May 1, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#200 opened Apr 29, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#199 opened Apr 29, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#198 opened Apr 22, 2026 by aleph-prover-dev Bot Loading…
Proof for mathd_algebra_513 automated-proof
#197 opened Apr 15, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#196 opened Apr 10, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#195 opened Apr 7, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#194 opened Mar 24, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#193 opened Mar 19, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#192 opened Mar 11, 2026 by aleph-prover Bot Loading…
Proof for mathd_algebra_513 automated-proof
#191 opened Mar 10, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#190 opened Mar 10, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#189 opened Mar 6, 2026 by aleph-prover-dev Bot Loading…
Proof for mathd_algebra_513 automated-proof
#188 opened Mar 6, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#187 opened Mar 5, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#186 opened Mar 5, 2026 by aleph-prover-test Bot Loading…
Proof for mathd_algebra_513 automated-proof
#185 opened Mar 5, 2026 by aleph-prover-test Bot Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.