维基词典

formal proof

  • 正體: 形式證明[電子計算機]
来自“https://zh.wiktionary.org/w/index.php?title=formal_proof&oldid=4935570”