Search results

Some renames

Status: Open.

#312 In vihdzp/combinatorial-games;

· vihdzp opened on Jan 24, 2026

Surreal differentiation

t-surrealThis is mainly about surreal numbersThis is mainly about surreal numbers

Status: Open.

#278 In vihdzp/combinatorial-games;

· vihdzp opened on Dec 21, 2025

Prove every small ordered field embeds in <code>Surreal</code>

t-surrealThis is mainly about surreal numbersThis is mainly about surreal numbers

Status: Open.

#222 In vihdzp/combinatorial-games;

· vihdzp opened on Aug 23, 2025

Prove surreals are real-closed

t-surrealThis is mainly about surreal numbersThis is mainly about surreal numbers

Status: Open.

#206 In vihdzp/combinatorial-games;

· vihdzp opened on Aug 21, 2025

Canonical short games

t-gameThis is mainly about combinatorial gamesThis is mainly about combinatorial games

Status: Open.

#79 In vihdzp/combinatorial-games;

· tristan-f-r opened on Mar 16, 2025

Prove nimbers are algebraically complete

t-nimberThis is mainly about nimbersThis is mainly about nimbers

Status: Open.

#11 In vihdzp/combinatorial-games;

· vihdzp opened on Feb 25, 2025

Formalize temperature

good first issueGood for newcomersGood for newcomers

t-gameThis is mainly about combinatorial gamesThis is mainly about combinatorial games

Status: Open.

#10 In vihdzp/combinatorial-games;

· vihdzp opened on Feb 25, 2025