User contributions
- 22:01, 27 May 2022 (diff | hist) . . (-48) . . Joining an ARML team (→Pittsburgh)
- 16:59, 29 January 2018 (diff | hist) . . (+3) . . Joining an ARML team
- 17:05, 27 July 2017 (diff | hist) . . (+804) . . 2013 USAJMO Problems/Problem 1 (another solution)
- 19:23, 28 August 2016 (diff | hist) . . (+29) . . Joining an ARML team (→Pittsburgh)
- 19:21, 28 August 2016 (diff | hist) . . (+298) . . Joining an ARML team (→Pittsburgh)