Hacker News
- The Incredible Proof Machine (2016) https://incredible.pm/ 5 comments
- The Incredible Proof Machine (2016) http://incredible.pm 16 comments
- The Incredible Proof Machine http://incredible.nomeata.de/ 13 comments
Lobsters
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-The_Incredible_Proof_Machine 2 comments haskell , programming
- The Incredible Proof Machine http://incredible.pm/ 4 comments programming
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-the_incredible_proof_machine 7 comments programming
- The Incredible Proof Machine http://incredible.nomeata.de/ 7 comments math
- The Incredible Proof Machine http://incredible.nomeata.de/ 84 comments programming
- The Incredible Proof Machine https://www.joachim-breitner.de/blog/682-the_incredible_proof_machine 65 comments haskell