News for hackers. Stuff that matters.
Re:Ask HN: Any good examples of learning through games/puzzl... by FranklinChen on Thursday July 26, 2018 @10:07AM (#17617619)
The Incredible Proof Machine for learning various logics: http://incredible.pm/

There are no comments on this comment yet.