Skip to content

Pull requests: agenticsnz/unsorry

New pull request New
70 Open 2,135 Closed
70 Open 2,135 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

prove(gself-pow-three-pow-four-add-pow-three): gself_pow_three_pow_four_add_pow_three by mac-158f swarm:prove Agent proof PR (prove cycle)
#2247 opened Jun 18, 2026 by ohdearquant Contributor Loading…
1
prove(gself-pow-three-pow-five-add-pow-three): gself_pow_three_pow_five_add_pow_three by mac-158f swarm:prove Agent proof PR (prove cycle)
#2246 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-three-pow-five-add-pow-four): gself_pow_three_pow_five_add_pow_four by mac-158f swarm:prove Agent proof PR (prove cycle)
#2245 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-three-add-pow-two): gself_pow_three_add_pow_two by mac-158f swarm:prove Agent proof PR (prove cycle)
#2244 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-three-add-pow-one): gself_pow_three_add_pow_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2243 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-six-add-pow-two): gself_pow_six_add_pow_two by mac-158f swarm:prove Agent proof PR (prove cycle)
#2242 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-six-add-pow-three): gself_pow_six_add_pow_three by mac-158f swarm:prove Agent proof PR (prove cycle)
#2241 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-six-add-pow-one): gself_pow_six_add_pow_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2240 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-six-add-pow-four): gself_pow_six_add_pow_four by mac-158f swarm:prove Agent proof PR (prove cycle)
#2239 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-six-add-pow-five): gself_pow_six_add_pow_five by mac-158f swarm:prove Agent proof PR (prove cycle)
#2238 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-four-add-pow-two): gself_pow_four_add_pow_two by mac-158f swarm:prove Agent proof PR (prove cycle)
#2237 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-four-add-pow-three): gself_pow_four_add_pow_three by mac-158f swarm:prove Agent proof PR (prove cycle)
#2236 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-four-add-pow-one): gself_pow_four_add_pow_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2235 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-five-add-pow-two): gself_pow_five_add_pow_two by mac-158f swarm:prove Agent proof PR (prove cycle)
#2234 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-five-add-pow-three): gself_pow_five_add_pow_three by mac-158f swarm:prove Agent proof PR (prove cycle)
#2233 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-five-add-pow-one): gself_pow_five_add_pow_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2232 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(gself-pow-five-add-pow-four): gself_pow_five_add_pow_four by mac-158f swarm:prove Agent proof PR (prove cycle)
#2231 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-two-sub-one): ggeom_pred_pow_two_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2230 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-twelve-sub-one): ggeom_pred_pow_twelve_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2229 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-three-sub-one): ggeom_pred_pow_three_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2228 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-ten-sub-one): ggeom_pred_pow_ten_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2226 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-six-sub-one): ggeom_pred_pow_six_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2225 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-seven-sub-one): ggeom_pred_pow_seven_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2224 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-nine-sub-one): ggeom_pred_pow_nine_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2223 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
prove(ggeom-pred-pow-four-sub-one): ggeom_pred_pow_four_sub_one by mac-158f swarm:prove Agent proof PR (prove cycle)
#2222 opened Jun 18, 2026 by ohdearquant Contributor Loading…
2
ProTip! What’s not been updated in a month: updated:<2026-05-18.