Mmastodon WorldWorld first seen 3 d ago, last 3 d ago, peak #3
Lean Now Ships with Verified Kernels
Original: Lean Now Ships with Verified Kernels https:// leodemoura.github.io/blog/2026 -10-15-lean-now-ships-with-verified-kernels
Leo de Moura, the creator of the Lean programming language and theorem prover, has announced that Lean now ships with verified kernels. The news is being discussed by developers on Hacker News, where it drew attention from the programming languages and formal verification community. A verified kernel means the core component that checks proofs is itself formally verified, a significant milestone for trust in the proof assistant's foundations.
Why now: The Lean community and developers following formal verification are reacting to a major technical milestone announced by the language's creator.
Rank over time, top of the chart is #1. 8 snapshots from 3 d ago to 3 d ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/2683008