2 ms·Writing programs that prove proofs is fun.by Jach 15y agoWriting programs that prove proofs is fun.