14 Mar
2010
14 Mar
'10
8:58 p.m.
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?