December 6, 2021 Alina The Principia Rewrite: Whitehead and Russell’s Principia Rewritten in Coq The Principia Rewrite: Whitehead and Russell’s Principia Rewritten in Coq by zdw on Hacker News. Share this: Share on X (Opens in new window) X Share on Facebook (Opens in new window) Facebook Share on LinkedIn (Opens in new window) LinkedIn Share on Reddit (Opens in new window) Reddit Share on Tumblr (Opens in new window) Tumblr Share on Pinterest (Opens in new window) Pinterest Share on Pocket (Opens in new window) Pocket Share on Telegram (Opens in new window) Telegram Share on WhatsApp (Opens in new window) WhatsApp Email a link to a friend (Opens in new window) Email Like Loading... Related
2 Day's news 