Curiouskid comments on The mechanics of my recent productivity

[Curiouskid]

Also, I’ve discovered the CoqIDE theorem-proving assistant is about as addictive to me now as Legend of Zelda games used to be.

So, what you’re saying is that you’re addicted to Coq. :)

[[deleted]]

Tomoko scream