Zulip Chat Archive
Stream: general
Topic: Whitehead and Russell’s original Principia in Coq
Alexandre Rademaker (Dec 03 2021 at 15:55):
https://www.principiarewrite.com this is an interesting project! Asking for a Lean version! ;-)
Last updated: May 02 2025 at 03:31 UTC