We don't know any projects categorized as history-of-philosophy yet.

Coq history-of-philosophy related posts

• It took Russell and that other guy 360 pages to prove that 1+1=2. That's how rigorous math is.
  1 project | /r/rmathcirclejerk | 13 Mar 2022
• Which is the most abstract and bizzare book of mathematics you have ever came across?
  1 project | /r/math | 10 Mar 2022
• Whitehead and Russell’s Principia rewritten in Coq
  1 project | /r/patient_hackernews | 6 Dec 2021
• Whitehead and Russell’s Principia rewritten in Coq
  1 project | /r/hackernews | 6 Dec 2021

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Coq projects with our weekly report!