[boston-lisp] wiki of formal proofs

Hans Hübner hans.huebner at gmail.com
Mon Mar 15 05:55:54 UTC 2010


On Mon, Mar 15, 2010 at 03:58,  <dherring at tentpost.com> wrote:

> P.S.  Who was working on the hardware for financial transactions?

Do you mean Marc Battyani, http://www.fractalconcept.com/?

-Hans




More information about the boston-lisp mailing list