Skip to content

Add a 21-state machine for Legendre's conjecture (legendre_21) with Lean proofs - #32

Open
veljjanoski wants to merge 1 commit into
google-deepmind:mainfrom
veljjanoski:legendre-21
Open

Add a 21-state machine for Legendre's conjecture (legendre_21) with Lean proofs#32
veljjanoski wants to merge 1 commit into
google-deepmind:mainfrom
veljjanoski:legendre-21

Commits

  1. Commits on Nov 11, 2026