Lean Now Ships with Verified Kernels — Leonardo de Moura
- 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).
Unverified
- 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).
Sources: Github