Oui enfin, il y a suffisamment de gens qui travaillent sur la preuve de programme et/ou la vérification de programme pour savoir que c'est un problème extrêmement complexe dans le cas général et que si tu peux y arriver sur quelques exemples, là le commentaire demande clairement à ce que tous les programmes soient garantis.
[^] # Re: Me reproduire
Posté par rewind (Mastodon) . En réponse au sondage Votre métier. Évalué à 2.
Oui enfin, il y a suffisamment de gens qui travaillent sur la preuve de programme et/ou la vérification de programme pour savoir que c'est un problème extrêmement complexe dans le cas général et que si tu peux y arriver sur quelques exemples, là le commentaire demande clairement à ce que tous les programmes soient garantis.