Skip to content

Pull requests: vihdzp/combinatorial-games

New pull request New
36 Open 362 Closed
36 Open 362 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(Order): Eta sets and some related lemmas
#411 opened Apr 11, 2026 by YanYablonovskiy Loading…
41
feat: more lemmas on Game.ofSets and Surreal.ofSets t-game This is mainly about combinatorial games
#402 opened Mar 29, 2026 by vihdzp Owner Loading…
feat: simplicity order t-surreal This is mainly about surreal numbers
#399 opened Mar 26, 2026 by vihdzp Owner Loading…
feat: small predicate for sign sequences t-surreal This is mainly about surreal numbers
#395 opened Mar 24, 2026 by vihdzp Owner Loading…
1
feat: sign expansion of surreal t-surreal This is mainly about surreal numbers
#394 opened Mar 23, 2026 by plp127 Contributor Loading…
30
chore: leftMoves → moves_left and rightMoves → moves_right t-game This is mainly about combinatorial games
#391 opened Mar 18, 2026 by vihdzp Owner Loading…
4
doc: overview file for repository
#388 opened Mar 18, 2026 by vihdzp Owner • Draft
1
feat: more lemmas about algebraically closed nimbers
#383 opened Mar 16, 2026 by plp127 Contributor Loading…
18
feat: nimber multiplication is bounded by natural multiplication t-nimber This is mainly about nimbers
#382 opened Mar 16, 2026 by vihdzp Owner • Draft
4 tasks
feat: ordinal powers of natural numbers t-surreal This is mainly about surreal numbers
#378 opened Mar 16, 2026 by vihdzp Owner Loading…
feat: enumerator functions for groups/rings/fields t-nimber This is mainly about nimbers
#371 opened Mar 15, 2026 by vihdzp Owner Loading…
6
feat: every nimber is between two groups/rings/fields t-nimber This is mainly about nimbers
#364 opened Mar 14, 2026 by plp127 Contributor Loading…
5
feat: natural multiplication is closed below ω^ω^x t-surreal This is mainly about surreal numbers
#360 opened Mar 13, 2026 by vihdzp Owner Loading…
chore: private many auxiliary results on nimbers t-nimber This is mainly about nimbers
#356 opened Mar 12, 2026 by vihdzp Owner Loading…
5
feat: first field after algebraically closed nimber
#354 opened Mar 11, 2026 by plp127 Contributor Loading…
3 tasks done
15
feat: NatOrdinal ≃+* ℕ[NatOrdinal] t-surreal This is mainly about surreal numbers
#350 opened Mar 5, 2026 by vihdzp Owner Loading…
feat: ordinal powers of a field form a basis for nimbers t-nimber This is mainly about nimbers
#348 opened Mar 5, 2026 by vihdzp Owner Loading…
4
feat: multivariate Veblen function t-nimber This is mainly about nimbers
#343 opened Feb 17, 2026 by vihdzp Owner • Draft
draft: algClosure 0 = τ t-nimber This is mainly about nimbers
#337 opened Feb 3, 2026 by vihdzp Owner • Draft
feat: omnific integers t-surreal This is mainly about surreal numbers
#317 opened Jan 26, 2026 by vihdzp Owner Loading…
2
feat: surreal Hahn series from ordinal-indexed sequences t-surreal This is mainly about surreal numbers
#316 opened Jan 25, 2026 by vihdzp Owner Loading…
11
feat: Preorder LGame t-game This is mainly about combinatorial games
#315 opened Jan 25, 2026 by vihdzp Owner • Draft
1 task
feat: basic loopy game outcomes t-game This is mainly about combinatorial games
#314 opened Jan 25, 2026 by vihdzp Owner Loading…
feat: short stops are numeric t-game This is mainly about combinatorial games
#306 opened Jan 13, 2026 by vihdzp Owner Loading…
2
feat: small games t-surreal This is mainly about surreal numbers
#303 opened Jan 13, 2026 by vihdzp Owner Loading…
1 task done
ProTip! What’s not been updated in a month: updated:<2026-03-14.