Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
interactive proof mode of

Examples with "interactive proof mode of" and their translation in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Thanks to this formalism, we can present a use case as a symbolic test program and symbolically debug it, step by step, using the interactive proof mode of Coq.
Grâce à ce formalisme, nous pouvons présenter un cas d'utilisation comme un programme de test symbolique et le déboguer symboliquement, étape par étape, en utilisant le mode interactif de Coq.

Andere resultaten

the proof in interactive mode used when the automatic mode has failed: the user guides the prover in its proof obligation demonstration using interactive commands (lemma additions, proof by case etc.)
La preuve en mode interactif utilisée lorsque le mode automatique a échoué : l'utilisateur guide le prouveur dans sa démonstration d'une obligation de preuve à l'aide de commandes interactives (ajout de lemmes, preuve par cas...).
The rush mode of the game requires quick reflexes and fast thinking.
Le mode frénétique du jeu exige des réflexes rapides et une pensée vive.
Her commute involves multiple modes of transport, including bus and train.
Son trajet implique plusieurs modes de transport, dont le bus et le train.
The philosopher explains that spatial position is an accidental mode of substance.
Le philosophe explique que la position dans l'espace est un mode accidentel de la substance.
A swap body made it easier to switch between different modes of transport.
Un conteneur amovible a facilité le passage entre différents modes de transport.
Traveling executive class has spoiled him for all other modes of air travel.
Voyager en première classe l'a gâté pour tous les autres modes de transport aérien.
The framework covers many functions, for every mode of transport.
Le système couvre nombre de fonctions, pour chaque mode de transport.
They are classified based on their biogenesis and mode of action.
Ils sont classés selon leur origine biologique et leur mode d'action.
It is not only our modes of transport that have changed.
Nos modes de transport ne sont pas les seuls à avoir changé.
His doctor friend prescribed that he change his mode of nutrition.
Un ami médecin lui a prescrit de changer son mode de nutrition.
There are exceptions to the "relaxing" mode of asanas.
Il y a des exceptions au caractère « relaxant » des asanas.
Specifies the mode of data type handling that will be used.
Spécifie le mode de gestion de type de données qui sera utilisé.
Er zijn geen resultaten gevonden voor deze term.
Woord & uitdrukking van de dag
Afbeelding van de dag
jellyfish: marine animal with a gelatinous body and tentacles
Ontdek het woord
jellyfish
Publiciteit

Resultaten: 54308. Exact: 1. Verstreken tijd: 306 ms.