Hacker News new | ask | show | jobs
by FranklinChen 2884 days ago
The Incredible Proof Machine for learning various logics: http://incredible.pm/