Hacker News: zualhttps://news.ycombinator.com/user?id=zualHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 13 Aug 2026 20:58:07 +0000<![CDATA[New comment by zual in "Principia Mathematica is modern and insightful"]]>it seems that someone wants to traduce the PM in lean here : https://github.com/l-pommeret/Principia-Mathematica (probably with the use of llms)

]]>Thu, 13 Aug 2026 15:53:14 +0000https://news.ycombinator.com/item?id=49287866zualhttps://news.ycombinator.com/item?id=49287866https://news.ycombinator.com/item?id=49287866