[boston-lisp] wiki of formal proofs

Daniel Herring dherring at tentpost.com
Mon Mar 15 05:59:15 UTC 2010


On Mon, 15 Mar 2010, Hans Hübner wrote:
> 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/?

Yes.  Thanks for the memory refresh.

- Daniel


More information about the boston-lisp mailing list