leodemoura.github.io
leodemoura.github.io is Lean now ships with verified kernels. It is ranked #4428 on the Dev Radar, in Languages & runtimes, first seen 19 days ago and shared in 1 post (282 views).
What leodemoura.github.io says about itself
Leonardo de Moura — Creator of Lean and Z3
Lean Now Ships with Verified Kernels — Leonardo de Moura Leonardo de Moura Lean Now Ships with Verified Kernels 2026-10-15 AI agents are very effective at finding vulnerabilities in our software. This includes the kernel (the proof checker) of the Lean proof assistant. See our two recent postmortems ( August 1 , August 24 ). We are strengthening the official kernel, adding new kernels, and building new tools that simplify rechecking your Lean developments with external kernels. Lean v4.35.0 comes with the lake check command. This command exports your development and rechecks it with leanchecker , the official Lean kernel without all the…
What people said about leodemoura.github.io on X
Lean now ships with verified kernels https://leodemoura.github.io/blog/2026-10-15-lean-now-ships-with-verified-kernels/
— @jreuben1, 19 days ago · 7 likes · see the post
Alternatives to leodemoura.github.io
- Microsoft Foundry Blog — TypeScript 7.1 Beta is now available! Now with a preview API, content mapper support, new features, and some great…
- Learn Node.js — Node.js advisory
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- typing-rules-as-programs — In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq -…
- makepad — Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11…
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
leodemoura.github.io in numbers
- Rank on the Dev Radar: #4428 of 9451
- Shared in 1 post by 1 account: @jreuben1
- 282 views on those posts
- First seen 19 days ago, last shared 19 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: Languages & runtimes
FAQ
What is leodemoura.github.io?
Lean now ships with verified kernels It was first shared on X 19 days ago and is ranked #4428 on the Dev Radar.
Is leodemoura.github.io free?
Pricing is not stated on the page we read.
Who shared leodemoura.github.io?
1 account on X, including @jreuben1, in 1 post totalling 282 views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.9k posts from 5k X accounts over the last 21 days, 9.5k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 07:57 UTC. Full method.