Lean now ships with verified kernels

 (leodemoura.github.io)

35 points | by matt_d 1 day ago

2 comments

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