#prover — Public Fediverse posts

https://www.europesays.com/se/369800/ Fredagens prover utan anmärkning – kokningsrekommendationen kvarstår i väntan på ytterligare provsvar #bakterier #BreakingNews #BreakingNews #EColi #FeaturedNews #FeaturedNews #Headlines #Huvudnyheter #kokning #LatestNews #LatestNews #MainNews #MainNews #News #Nyheter #prover #rekommendation #Rubriker #SE #svar #Svenska #Sverige #Sweden #Swedish #Tester #TopStories #TopStories #vatten

Coq theorem prover is now called Rocq

https://rocq-prover.org/about

#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants

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