Get the latest tech news

Lean now ships with verified kernels

Leonardo de Moura — Creator of Lean and Z3

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of ships

ships

Photo of verified kernels

verified kernels

Related news:

Chrome 155 Ships Decoding Support For JPEG XL

US Navy uses Xbox-style controllers to fire anti-drone lasers deployed on ships

US Tracking Cyber Threats Against Nearly 20 Ships Worldwide

« How to watch Fiji vs Cook Islands for FREE: Live streams for Rugby League World Cup 2026 game

Tesla 'Cannot Guarantee' Roadster Reservation Holders Will Ever Get a Car »