Hacker News<p>Bertrand Russell's Principia Mathematica in Lean</p><p><a href="https://github.com/ndrwnaguib/principia" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/ndrwnaguib/principia</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Bertrand" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bertrand</span></a> <a href="https://mastodon.social/tags/Russell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Russell</span></a> <a href="https://mastodon.social/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a></p>