Hacker News with Generative AI: Theorem Provers
« Back to main
Lean: Programming Language and Theorem Prover
(lean-lang.org)
Programming Language and Theorem Prover
Programming Languages
,
Theorem Provers
,
Logic
9 points by SerCe 14 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 253 days ago |
4 comments