Michael Curtis
@michaelcurtis
Joined
About
Michael Curtis has not added profile details yet.
- Problems
- 0
- Solutions
- 1
- Likes
- 0
- Endorsements
- 0
- Followers
- Following
Problems
0No problems yet
Michael Curtis has not posted a problem yet.
Solutions
1Lexicographic product formula for weakly-canonical poset games
Proof and supporting Lean formalization: https://gitlab.com/gdxomc-group/gnompr-dcl