Repository navigation

Add a 28-state machine for Brocard's problem (`brocard_28`) with Lean proofs - #27

Merged

mo271 merged 6 commits into

google-deepmind:mainfrom

veljjanoski:brocard-41

Nov 11, 2026

Merged

Add a 28-state machine for Brocard's problem (`brocard_28`) with Lean proofs#27
mo271 merged 6 commits into
google-deepmind:mainfrom
veljjanoski:brocard-41

Commits on Nov 6, 2026
- Add a 41-state machine for Brocard's problem (brocard_41) with Lean proofs
  veljjanoski
  committed
  c71404d
Commits on Nov 9, 2026
Commits on Nov 10, 2026
- Fix two stale state-range headers in Brocard28.lean
  veljjanoski
  committed
  4417ea7