coq targets and benchmarks 中文意思是什麼
coq targets and benchmarks
解釋
coq目標和基準- coq : 的有關問題
- targets : 目標
- and : n. 1. 附加條件。2. 〈常 pl. 〉附加細節。
- benchmarks : 標桿
-
目前還沒有coq targets and benchmarks例句。
分享友人