更新时间：2022-03-10 07:20
证明复杂性（proof complexity）是2018年公布的计算机科学技术名词。
一个数学命题在一个证明系统中最短证明的长度。
《计算机科学技术名词 》第三版。