Search results

cosh remark braucht label und muss zu lean Code verlinkt werden

Status: Open.

#36 In FordUniver/multicolorramsey;

· FordUniver opened on Nov 6, 2025

\leanok erzeugt keinen Haken

bugSomething isn't workingSomething isn't working

Status: Open.

#35 In FordUniver/multicolorramsey;

· FordUniver opened on Nov 6, 2025

lemma 4.6

Status: Open.

#32 In FordUniver/multicolorramsey;

· ooovi opened on Sep 18, 2025

thm 5.1: requirements for using the book thm

Status: Open.

#31 In FordUniver/multicolorramsey;

· ooovi opened on Sep 18, 2025

an inequality, probably easy, from lemma 5.3

Status: Open.

#30 In FordUniver/multicolorramsey;

· ooovi opened on Sep 18, 2025

lemma 5.2

Status: Open.

#29 In FordUniver/multicolorramsey;

· ooovi opened on Sep 18, 2025

lemma 4.3

Status: Open.

#28 In FordUniver/multicolorramsey;

· ooovi opened on Jul 23, 2025

lemma 4.2

Status: Open.

#26 In FordUniver/multicolorramsey;

· ooovi opened on Jul 22, 2025

"algorithm", step 2: why can we find an X'' that is "large"?

Status: Open.

#25 In FordUniver/multicolorramsey;

· ooovi opened on Jul 4, 2025

how do we construct lambda?!

Status: Open.

#23 In FordUniver/multicolorramsey;

· ooovi opened on Jul 2, 2025

moments lemma

Status: Open.

#19 In FordUniver/multicolorramsey;

· ooovi opened on Jun 28, 2025

"algorithm": rigorous proof that 0<p

Status: Open.

#15 In FordUniver/multicolorramsey;

· ooovi opened on May 6, 2025