1 World’s first formal machine-checked proof of a kernel 200958 points29 commentsSystems & Performance details