Skip to content

Pull requests: vihdzp/combinatorial-games

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore: bump Mathlib
#345 opened Feb 28, 2026 by vihdzp Loading…
feat: multivariate Veblen function t-nimber This is mainly about nimbers
#343 opened Feb 17, 2026 by vihdzp Draft
draft: algClosure 0 = τ t-nimber This is mainly about nimbers
#337 opened Feb 3, 2026 by vihdzp Draft
refactor: remove IsNthDegreeClosed t-nimber This is mainly about nimbers
#336 opened Feb 1, 2026 by vihdzp Loading…
feat: more theorems on nimber closures t-nimber This is mainly about nimbers
#333 opened Feb 1, 2026 by vihdzp Loading…
draft branch don't merge t-nimber This is mainly about nimbers
#332 opened Jan 31, 2026 by vihdzp Draft
feat: arithmetic of finite nimbers
#328 opened Jan 31, 2026 by plp127 Draft
1 task done
feat: omnific integers t-surreal This is mainly about surreal numbers
#317 opened Jan 26, 2026 by vihdzp Loading…
feat: surreal Hahn series from ordinal-indexed sequences t-surreal This is mainly about surreal numbers
#316 opened Jan 25, 2026 by vihdzp Loading…
feat: Preorder LGame t-game This is mainly about combinatorial games
#315 opened Jan 25, 2026 by vihdzp Draft
1 task
feat: basic loopy game outcomes t-game This is mainly about combinatorial games
#314 opened Jan 25, 2026 by vihdzp Loading…
feat: short stops are numeric t-game This is mainly about combinatorial games
#306 opened Jan 13, 2026 by vihdzp Loading…
feat: small games t-surreal This is mainly about surreal numbers
#303 opened Jan 13, 2026 by vihdzp Loading…
1 task done
feat: confusion intervals t-game This is mainly about combinatorial games
#301 opened Jan 12, 2026 by vihdzp Loading…
feat: simplestBtwn x y is in fact the simplest surreal between x and y t-surreal This is mainly about surreal numbers
#298 opened Jan 11, 2026 by vihdzp Loading…
2 tasks
perf(Game/IGame): speedup multiplication theorems
#294 opened Jan 6, 2026 by plp127 Loading…
feat: Fits x y → birthday y ≤ birthday x t-surreal This is mainly about surreal numbers
#277 opened Dec 19, 2025 by vihdzp Loading…
1 task done
feat: more lemmas on wpow t-surreal This is mainly about surreal numbers
#272 opened Dec 16, 2025 by vihdzp Loading…
1 task done
feat: surreals as Hahn series t-surreal This is mainly about surreal numbers
#263 opened Dec 12, 2025 by vihdzp Draft
feat: subset relation on sign expansions t-surreal This is mainly about surreal numbers
#261 opened Dec 8, 2025 by vihdzp Loading…
1 task done
feat: split IGame.Impartial
#228 opened Aug 28, 2025 by vihdzp Draft
2 tasks done
feat: w^w^w algebraic closure 2 t-nimber This is mainly about nimbers
#192 opened Aug 15, 2025 by DjangoPeeters Draft
feat: begin ofNat t-game This is mainly about combinatorial games
#177 opened Aug 7, 2025 by tristan-f-r Draft
feat: game outcomes
#147 opened Jul 25, 2025 by t4ccer Loading…
ProTip! Add no:assignee to see everything that’s not assigned.