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