Rank | Score | Rating | Date | Event | |
---|---|---|---|---|---|
|
41
|
1 | · | Sept. 30, 2012 |
Problem 396. Weak Goodstein sequence |
|
45
|
1 | · | Sept. 8, 2012 |
Problem 393. Migrating ants |