Translation of "proof assistant" into Japanese

対話型定理証明 is the translation of "proof assistant" into Japanese.

proof assistant
+ Add

English-Japanese dictionary

  • 対話型定理証明

    software tool to assist with the development of formal proofs by human-machine collaboration

  • Show algorithmically generated translations

Automatic translations of "proof assistant" into Japanese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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