3 ms·I look forward to people playing with proof assistants as just a hard video game.by Ericson2314 5y agoI look forward to people playing with proof assistants as just a hard video game.