Lean Now Ships with Verified Kernels

(leodemoura.github.io) by matt_d | Oct 16, 2026 | 0 comments on HN