Lean now ships with verified kernels

 (leodemoura.github.io)

34 points | by matt_d 1 day ago

1 comments