March 13, 2013

I’ve had an Eclipse developer spend 88 hours on doing a working proof, showing: Reads