Hacker News with Generative AI: Theorem Provers

100 theorems in Lean (leanprover-community.github.io)
Freek Wiedijk maintains a list tracking progress of theorem provers in formalizing 100 classic theorems in mathematics as a way of comparing prominent theorem provers.
Mathematics, Theorem Provers, Software, Formal Methods
11 points by ggzor 35 days ago | 0 comments
Lean: Programming Language and Theorem Prover (lean-lang.org)
Programming Language and Theorem Prover
Programming Languages, Theorem Provers, Logic
9 points by SerCe 175 days ago | 0 comments
The Foundation of a Generic Theorem Prover (1989) [pdf] (arxiv.org)
Theorem Provers, Computer Science, Mathematics, Logic
59 points by 082349872349872 414 days ago | 4 comments