Executable mathematics Posted on May 25, 2010 by rpflee Lisp … made me aware that software could be close to executable mathematics. — L. Peter Deutsch 2010.05.25 Tuesday ACHK Related