Translation of "proof assistant" into Spanish

asistente de pruebas is the translation of "proof assistant" into Spanish.

proof assistant
+ Add

English-Spanish dictionary

  • asistente de pruebas

    demostración interactiva de teoremas

    Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification.

    Coq es un asistente de pruebas de lógica de gran magnitud, que permite el desarrollo de programas informáticos consistentes en su especificación formal.

  • Show algorithmically generated translations

Automatic translations of "proof assistant" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "proof assistant" into Spanish in sentences, translation memory