Comment by Jensson

8 hours ago

In programming the simplifications has to be correct even if you don't prove them, and being correct isn't that easy.

0 comments