Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
coqide proof assistant
Дапаможнік лягічных вывадаў coqide
Dernière mise à jour : 2014-08-15
Fréquence d'utilisation : 1
Qualité :
grafisk grænseflade for coq proof assistant
Графічны інтэрфэйс для дапаможніка доказаў і лягічных вывадаў coq
Dernière mise à jour : 2014-08-15
Fréquence d'utilisation : 1
Qualité :
