leodemoura.github.io

Postmortem for Kernel Soundness Bug #14576 — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.