Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Coqnm
Vertaling van "Coq" in Engels
Coq Portugais, l'icône de Barcelos et du Portugal dans le monde.
Portuguese rooster, the Barcelos and Portugal icon in the world.
Le Coq doit faire attention aux risques de petits accidents domestiques.
The Rooster must pay attention to the risks of small domestic accidents.
Sur ces bases a été développé l'assistant de preuves Coq.
It was upon these bases that the Coq proof assistant was developed.
Une formalisation canonique des graphes dépasse ainsi l'expressivité directe de Coq.
A canonical formalization of graphs thus surmounts Coq's direct expressivity.
Votre panier Coq sauvage entière, immédiatement prête après l'avoir chauffée au four.
Whole wild cockerel, immediately ready after having heated it in the oven.
Il présente, étudie et justifie les choix faits dans le système Coq.
It presents, studies and justifies the choices made in the Coq system.
Les personnes nées dans une année du Coq sont très observatrices.
People born in a year of the Rooster are very observant.
On peut souvent croiser le Coq dans le monde du divertissement.
We can often cross the Rooster in the world of entertainment.
Deuxièmement, elle appelait Coq pour vérifier la correction du script ainsi généré.
Second, it called Coq to check the correctness of the script.
Ensuite, nous formalisons ces logiques en Coq et certifions les preuves associées.
Then, we formalize these logics in Coq and certify the related proofs.
Dans ce but, nous utilisons l'assistant de preuves Coq.
To this end, we use the Coq proof assistant.
Et quel Coq, il est unique dans son genre.
And what Coq, it is unique in its kind.
Coq assidu est une trouvaille précieuse pour toute l'équipe.
Hardworking Rooster is a valuable find for any team.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Uitdrukkingen met Coq: voorbeelden en bijbehorende vertalingen in het Engels
! avoir des jambes de coq v.
have chicken legs
"Il a des jambes de coq depuis qu'il a maigri."
coq gaulois n.
Gallic rooster
"Le coq gaulois apparaît sur les maillots de l'équipe de rugby."
! du coq à l'âne adv.
jumping from one topic to another
"Il parle du coq à l'âne, impossible de suivre ses idées."
sauter du coq à l'âne v.
jump from one topic to another
"Il saute du coq à l'âne pendant ses discours, c'est difficile à suivre."
! avoir des mollets de coq v.
have chicken legs
"Il a des mollets de coq depuis qu'il a perdu du poids."
comme un coq en pâte adv.
in the lap of luxury
"Il vit comme un coq en pâte depuis sa promotion."
! comme un coq en plâtre adv.
in the lap of luxury
"Il vit comme un coq en plâtre dans sa grande maison."
! faire le coq v.
show off · strut
"Il fait le coq devant ses collègues depuis sa promotion."
fier comme un coq adj.
proud as a peacock
"Il est fier comme un coq depuis sa promotion."
passer du coq à l'âne v.
jump from one topic to another
"Il passe du coq à l'âne pendant notre discussion sur le travail."
coq de Java n.
Javan junglefowl
"Le coq de Java vit naturellement dans les forêts tropicales."
chant du coq n.
rooster's crow · cockcrow
"Le chant du coq réveille toute la ferme au lever du soleil."
coq-à-l'âne n.
disjointed ramble
"Son exposé était un vrai coq-à-l'âne, personne n'y comprenait rien."
jeune coq n.
cockerel
"Le jeune coq commence à chanter vers l'âge de quatre mois."
coq au vin n.
coq au vin
"Ma grand-mère prépare un délicieux coq au vin pour les grandes occasions."
coq de combat n.
fighting cock · gamecock
"Le coq de combat s'entraîne quotidiennement pour le tournoi."
chef-coq n.
head chef · executive chef
"Le chef-coq prépare le menu du jour avec son équipe."
coq d'Inde n.
tom turkey
"Le coq d'Inde parade devant les poules dans la ferme."
coq du village n.
cock of the walk · cock of the roost
"Pierre fait le coq du village depuis qu'il a eu sa promotion."
plume de coq n.
rooster feather
"Elle a fixé une plume de coq sur son chapeau vintage."
Ga naar Premium om alle uitdrukkingen te bekijken, onbeperkt woorden op te slaan en te leren op al je apparaten, zonder advertenties.
Synoniemen voor Coq in het Frans
Suggesties
coq au vin
2960
le chant du coq
1840
comme un coq en pâte
1370
du coq à l'âne
1200
coq de bruyère
1130
jeune coq
1100
poids coq
3870
chant du coq
3620
Resultaten: 4473. Exact: 4473. Verstreken tijd: 65 ms.
