Mathematics

SK19
3,334
reputation
  • Mayence, Germany
  • Member since December 02 2017
  • 556 profile views
  • Last seen Dec 29 '25 at 09:48

Writing Mizar articles for fun and the Q.E.D. manifesto.