The Incredible Proof Machine (2016)(incredible.pm)

41 pointsby tanapolshvor 4 Jahren5 comments

The Incredible Proof Machine (2016)

https://incredible.pm/

6 comments

I wish I'd have had stuff like this when I was studying logic. It would sure make learning the subject more interesting especially if one's not a born logician (wading through reams of logic can get a bit tedious).

dangvor 4 Jahren

Related:

The Incredible Proof Machine (2016) - https://news.ycombinator.com/item?id=19539388 - April 2019 (16 comments)

pencilguinvor 4 Jahren

A proof machine I find incredible is no proof machine at all, but just an assertion machine.

082349872349872vor 4 Jahren

I found the combinators in the "Simply typed lambda calculus" section a nice touch...

scentonivor 4 Jahren

On iPad, I can’t drag logic blocks out of the corral on the left into the working area.

redsummervor 4 Jahren