Comment by lproven 1 year ago FWIW, not having done a proof since about 1982, it doesn't help me either. 0 comments lproven Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗