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
-
Daniel Herring -
dherring＠tentpost.com
-
Hans Hübner -
rob levy