Re: Idris

Retourner au contenu associé (dépêche : Sortie de Coq 8.5 bêta, un assistant de preuve formelle)

[^] # Re: Idris

Posté par chimrod (site web personnel) le 29 janvier 2015 à 11:19. En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 4.
En fait avec les bonnes parenthèses ça donne :
```
mean = (x & y ) + ((x ^ y) >> 1)
```