Code Equivalences from the Little Prover | Hacker News Reader