Lean Now Ships with Verified Kernels

 (leodemoura.github.io)

33 points | by matt_d 1 day ago

1 comments