Re: [isabelle] ... finalement montrer False by blast



> Still no "game changing" technology to be seen here ...

Or is it a already sign of near human intelligence?
After beating us at chess and at go, now they beat us at Chinese whisper? :)

Best wishes,
Dominique.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.