Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Coq
Vertaling van "Coq" in Frans
The Coq suitcase in squirrel paste is suitable for your children.
La valisette Coq en pâte écureuil est adaptée pour vos enfants.
It was upon these bases that the Coq proof assistant was developed.
Sur ces bases a été développé l'assistant de preuves Coq.
A canonical formalization of graphs thus surmounts Coq's direct expressivity.
Une formalisation canonique des graphes dépasse ainsi l'expressivité directe de Coq.
It presents, studies and justifies the choices made in the Coq system.
Il présente, étudie et justifie les choix faits dans le système Coq.
Second, it called Coq to check the correctness of the script.
Deuxièmement, elle appelait Coq pour vérifier la correction du script ainsi généré.
Then, we formalize these logics in Coq and certify the related proofs.
Ensuite, nous formalisons ces logiques en Coq et certifions les preuves associées.
To this end, we use the Coq proof assistant.
Dans ce but, nous utilisons l'assistant de preuves Coq.
And what Coq, it is unique in its kind.
Et quel Coq, il est unique dans son genre.
Discover the Coq en pâte notebook with its rabbit motif.
Découvrez le cahier Coq en pâte avec son motif lapin.
The source files of the Coq development are available here.
Les fichiers sources du développement Coq se trouvent ici.
Coq au vin and trim, potato gnocchi.
Coq au vin et sa garniture, gnocchis de pomme de terre.
All our specifications and proofs are carried out with Coq.
Toutes nos spécifications et preuves sont formalisées en Coq.
Nevertheless, Coq will never replace the role of the mathematician.
Pour autant, Coq ne remplacera jamais le mathématicien.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor Coq in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 1096. Exact: 976. Verstreken tijd: 52 ms.
