Lean now ships with verified kernelsleodemoura.github.io
40 points by matt_d 2 days ago | 2 comments