SK19

2,785
reputation
7
32

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