Lean Now Ships with Verified Kernels

leodemoura.github.io

26 points by matt_d 2 days ago

- 28 minutes ago
[deleted]