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