已验证软件

附带由计算机辅助证明工具（如 Lean）检查过的数学证明的软件，以排除特定类型的错误。