• Whitehead and Russell’s Principia rewritten in Coq https://www.principiarewrite.com/ 64 comments 6/12/2021

• There's an ongoing effort to rewrite Principia Mathematica using Coq https://www.principiarewrite.com/ 26 comments 2/12/2021 math

Linking pages

Related searches:

Search whole site: site:principiarewrite.com

Search title: The Principia Rewrite | The Principia Rewrite

See how to search.