Hacker News new | ask | show | jobs
by tomoyoirl 744 days ago
Maybe you could train it explicitly on modus ponens et alia.