formal proof
formal proof是什么意思、formal proof怎么读
【计】 形式证明, 形式证法
formal proof汉语翻译
【计】 形式证明, 形式证法