L leodemoura.github.io Lean now ships with verified kernels 204 points matt_d 16 days ago 81 comments
