Proving Cantor's Theorem in Clojure Using LaTTe


New top story on Hacker News: Proving Cantor's Theorem in Clojure Using LaTTe