-
I want to learn more about computer-checked proof systems. Really I want to teach foundations using one, so students get mad at the computer instead of me when they don't sufficiently support their arguments. (-:On twitter.com
❤️ 11 Favorites Mood +1 🙂