Actually, this is why proof assistants are so great. You drink a couple glasses of champagne at someone's PhD defense reception, and you can go back to your of

Actually, this is why proof assistants are so great. You drink a couple glasses of champagne at someone's PhD defense reception, and you can go back to your office and try as you may, it won't let you prove anything incorrect.