User mathworker21 - MathOverflow Meta

mathworker21

Member for 6 years, 2 months
Last seen more than a month ago

10 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Yearling

Nov 13 at 8:32

awarded

Yearling

Jun 19 at 1:16

comment

MO answer formalized in Lean

Nice! ${}{}{}{}$

Apr 24 at 0:01

awarded

Yearling

Apr 9 at 6:05

awarded

Yearling

Feb 6, 2023 at 12:04

awarded

Yearling

Nov 1, 2020 at 14:18

awarded

Supporter

Mar 4, 2020 at 23:15

awarded

Peer Pressure

Mar 3, 2020 at 3:00

awarded

Yearling

Dec 27, 2019 at 2:15

awarded

Autobiographer

Sep 28, 2018 at 8:45