交互式定理证明

一种人机协作的证明方法，借助 Proof Assistant/交互式定理证明器协助的形式化验证。

See:

• Lean
• Rocq /Coq