Hacker News – Telegram
Learn X in Y Minutes
Article, Comments
Theorem Proving in Lean [pdf]
Article, Comments
Show HN: Aristotl – an intuitive logical fallacy lookup tool
Article, Comments