-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: gametheoryinlean/EconCSLib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add executable finite rational probability laws
#37
opened Sep 6, 2026 by
lyw-ops
Contributor
Loading…
7 tasks done
Formalize open problems and polynomial complexity
#35
opened Aug 17, 2026 by
hhh1234-ggg
•
Draft
4 tasks done
docs(kb): resolve alignment: pending for 5 KB nodes
#31
opened Jul 19, 2026 by
jiajunma
Collaborator
Loading…
2 tasks
refactor: clean up Scarf.lean (dead code, rename_i, helper extraction)
#24
opened Jun 27, 2026 by
hnxiao
Loading…
Integrate extensive game subgame restrictions
#22
opened Jun 16, 2026 by
Szher111
Loading…
3 of 5 tasks
Formalize regular Myerson optimality under explicit assumptions
#15
opened Jun 9, 2026 by
ma-yuxuan
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.