This webpage discusses the importance of having multiple independent proof checkers (also called "kernels") to verify the correctness of proofs generated by automated theorem provers like Lean.
This webpage discusses the importance of having multiple independent proof checkers (also called "kernels") to verify the correctness of proofs generated by automated theorem provers like Lean.