#theoremprover — Public Fediverse posts

🚀 Behold the renaming of #Coq to #Rocq, as if the world needed another rocq-solid theorem prover to prove how uselessly rocq-hard #math can be. 🤔 But wait, there's more! Now with extra Polymorphic, Cumulative Calculus of Inductive Constructions, because everyone clearly needs that in their morning coffee. ☕📚
https://rocq-prover.org/about #TheoremProver #Humor #PolymorphicCalculus #HackerNews #ngated

Lean 4: How the theorem prover works and why it's the new competitive edge in AI

https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-in

#HackerNews #Lean4 #AI #TheoremProver #CompetitiveEdge #MachineLearning

100 theorems in Lean

https://leanprover-community.github.io/100.html

#HackerNews #100theorems #Lean #TheoremProver #Mathematics #Proofs