User SK19 - Mathematics Stack Exchange

SK19

3,121

reputation

Mayence, Germany
Member since December 02 2017
463 profile views
Last seen Apr 04 '24 at 12:26

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