User SK19 - Mathematics Stack Exchange

SK19

3,266

reputation

Mayence, Germany
Member since December 02 2017
523 profile views
Last seen May 24 '25 at 18:33

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