Lean now ships with verified kernels(leodemoura.github.io)
189 points by matt_d | 68 comments
Leonardo de Moura blog post announcing Lean v4.35.0 ships with lake check, leanchecker, and four additional independent verified kernels for rechecking proofs.