formal l proof的意思|示意
美 / /
英 / /
形式化证明
formal l proof的网络常见释义
形式化的证明 ... form 形式；型 formal l proof 形式化的证明 format t 格式；规格 ...