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: Dec 20 2023 at 11:08 UTC