Proving Cantor's Theorem in Clojure Using LaTTe

Proving Cantor's Theorem in Clojure Using LaTTe

- January 02, 2019

Article URL: https://nextjournal.com/zampino/latte-cantor

Comments URL: https://news.ycombinator.com/item?id=18802480

Points: 12

# Comments: 0

from Hacker News: Front Page http://bit.ly/2AjL8W5
via

Comments