Lean: Postmortem for the Kernel Soundness Bug Hunt

(leodemoura.github.io)

3 points | by matt_d 11 hours ago ago