プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
coqide proof assistant
Дапаможнік лягічных вывадаў coqide
最終更新： 2014-08-15
使用頻度： 1
品質：
grafisk grænseflade for coq proof assistant
Графічны інтэрфэйс для дапаможніка доказаў і лягічных вывадаў coq
最終更新： 2014-08-15
使用頻度： 1
品質：
