Skip to content

feat(NumberTheory): Sylvester's conjecture - #643

Open
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:Sylvester
Open

alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:Sylvester

Merge branch 'main' into Sylvester

f1aaa28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Classify changes
succeeded Sep 24, 2026 in 1m 10s