From professional translators, enterprises, web pages and freely available translation repositories.
coqide proof assistant
Дапаможнік лягічных вывадаў coqide
Last Update: 2014-08-15
Usage Frequency: 1
Quality:
grafisk grænseflade for coq proof assistant
Графічны інтэрфэйс для дапаможніка доказаў і лягічных вывадаў coq
Last Update: 2014-08-15
Usage Frequency: 1
Quality:
