2 ms·I still play chess, daily.by tomlockwood 5y agoI still play chess, daily.Ericson2314 5y agoI look forward to people playing with proof assistants as just a hard video game.