Hacker News2d agoenergy 31
Lean now ships with verified kernels
Leonardo de Moura — Creator of Lean and Z3
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.