Lean: Postmortem for the Kernel Soundness Bug Hunt

 (leodemoura.github.io)

3 points | by matt_d 1 hour ago

0 comments