I built the RealWorld app in Lean 4(leangineer.com)
84 points by saviorand | 12 comments
A blog post describing an implementation of the RealWorld demo application (a Medium-like reference app) written in the Lean 4 programming language.
#lean-4 on Hacker News
3 stories tagged lean-4, newest first.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
730 points by Poudlardo | 178 comments
Mistral AI announcement of Leanstral, an open-source code agent for Lean 4 aimed at trustworthy coding and formal proof engineering.
DeepSeek-Prover-V2(github.com)
359 points by meetpateltech | 74 comments
GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.