Prime Mover

5,272
reputation
2
17
32

I do some stuff on ProofWiki from time to time.