[boston-lisp] wiki of formal proofs
Does anyone remember a talk in which the presenter mentioned a wikipedia-style encyclopedia of mathematical proofs, in which all expressions added to the system are automatically checked for consistency? What was this project called? Thanks, Rob
Does anyone remember a talk in which the presenter mentioned a wikipedia-style encyclopedia of mathematical proofs, in which all expressions added to the system are automatically checked for consistency? What was this project called?
Are you thinking of ACL2? - Daniel P.S. Who was working on the hardware for financial transactions?
On Mon, Mar 15, 2010 at 03:58, <dherring@tentpost.com> wrote:
P.S. Who was working on the hardware for financial transactions?
Do you mean Marc Battyani, http://www.fractalconcept.com/? -Hans
On Mon, 15 Mar 2010, Hans Hübner wrote:
On Mon, Mar 15, 2010 at 03:58, <dherring@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
participants (4)
-
Daniel Herring -
dherring＠tentpost.com
-
Hans Hübner -
rob levy