Traduction de "proof assistant" en français

assistant de preuve est la traduction de "proof assistant" en français.

proof assistant
+ Ajouter

dictionnaire anglais - français

  • assistant de preuve

    logiciel permettant l'écriture et la vérification de preuves mathématiques

  • Afficher les traductions générées par algorithme

Traductions automatiques de " proof assistant " en français

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similaires à "proof assistant" avec traductions en français

Ajouter

Traductions de "proof assistant" en français en contexte, mémoire de traduction