Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4

#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming

In 2023, #Amazon AWS poached #LeonardoDeMoura (the designer of Lean theorem #prover and #programming language) from #Microsoft Research. That sure was a coup.

https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math

GitHub's latest #AI feature, DeepSeek-Prover-V2, promises to write better code with AI, find #vulnerabilities, and even automate workflows—all while you navigate a labyrinthine menu system likely designed by an M.C. Escher imitator 🎨🔍. Meanwhile, coders everywhere are left wondering if the AI can also automate crying into their keyboards at 3 AM 😭⌨️.
https://github.com/deepseek-ai/DeepSeek-Prover-V2 #GitHub #DeepSeek #Prover #automation #coding #3AM #HackerNews #ngated

DeepSeek-Prover-V2

https://github.com/deepseek-ai/DeepSeek-Prover-V2

#HackerNews #DeepSeek #Prover #V2 #AI #Technology #Innovation #GitHub #OpenSource

Rocq is a trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics and computer science https://rocq-prover.org/ #Formal #Verification #theorem #prover

The Seventeen Provers of the World
(2006) : Widijk, Freek
DOI: https://doi.org/10.1007/11542384
#comparison #logic #programming #prover #review
#my_bibtex