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,

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