A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

发生了什么

In which I compare Lean, Isabelle/HOL, Agda, and HOL4 with only mild regard for "fairness".

摘要按规则整理自下方来源原文

来源