News for hackers. Stuff that matters.

A comment on The Incredible Proof Machine (2016).

Re:The Incredible Proof Machine (2016) by teddyh on Monday April 01, 2019 @03:22AM (#19541231)
See also: Domino On Acid - Natural Deduction Visualized As A Game Of Dominoes

http://www.winterdrache.de/freeware/domino/

[ Parent | on HN ]

There are no comments on this comment yet.