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