• [^] # Re: [X] : C'est exactement ce que j'espérais

    Posté par . En réponse au journal Sondage Java sous GPL, donnez votre avis à Sun. Évalué à 0.

    Encore faudrait-il être confiant dans le fait que le prouveur Coq est plus stable que la JVM... et que la probabilité d'erreur dans les preuves humaines qui se cachent derrière soit plus faible que la probabilité d'erreur dans le code de la JVM. On tombe dans un problème d'oeuf et de poule c'est comique.

    Etant donné le nombre de personnes qui utilise Coq et le nombre de personnes qui utilisent la JVM, je suis plus que réservé...