Postmortem for the Lean Kernel Soundness Bug Hunt

(leodemoura.github.io)

2 points | by EvgeniyZh 4 hours ago ago