Academia Stack Exchange
Academia Stack Exchange

Prime Mover
101
reputation
1
  • Reading, UK
  • Member since February 01 2021
  • 7 profile views
  • Last seen Sep 25 '23 at 05:55

I do some stuff on ProofWiki from time to time.