forked from Paul3435/open-math-lab
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: agentforce314/open-math-lab
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
closeout(OPE-2): n-queens formalized, no claim — integrates #3/#5/#6/#7 + erratum + claim packet
#8
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
review(OPE-7): n-queens adversarial review — APPROVE WITH RESIDUALS
#7
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
formalist(OPE-6): n-queens namesake theorem, zero sorry (supersedes #4)
#6
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
attack(OPE-5): n-queens 0-indexed construction, brute check 4..1000, Lean lemma plan (status: informal)
#5
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
formalist(OPE-4): n-queens Level B statement pin (stub — do not merge with sorry)
#4
opened Sep 12, 2026 by
agentforce314
Owner
•
Draft
OPE-3: n-queens fresh Scout dossier + Level B statement pin (board-named)
#3
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
3 of 6 tasks
OPE-2: Lean 4.10.0 user-local install on macOS + Mathlib cache relink workaround
#2
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
OPE-1: problem inventory overview (difficulty tiers, board-facing)
#1
opened Sep 12, 2026 by
agentforce314
Owner
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.