alimw
No user record in our sample, but alimw has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
- Fermat's Last Theorem to be proved in Lean (probably eventually) (gow.epsrc.ukri.org)
- UK PM wants all pupils to study maths to 18 (bbc.co.uk)
- A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com)
- Cat Map (en.wikipedia.org)
- Renegade Academia (k-punk.abstractdynamics.org)