Lean Now Ships with Verified Kernels

(leodemoura.github.io)

21 points by matt_d1 day ago

1 comments