Lean now ships with verified kernels

 (leodemoura.github.io)

34 points | by matt_d 1 day ago

2 comments

  • s_Hogg 1 minute ago
    As someone who doesn't quite get all this, isn't the proposal here just checkers all the way down?