Jeremy Dubreil <[EMAIL PROTECTED]> writes: > J'ai cru comprendre que vous avez déjà commencé à regarder l'utilisation > de méthodes formelles pour prouver certaines fonctionnalités de > demexp.
En fait, Serge a fait une formalisation en Coq du vote condorcet, mais je n'ai pas encore pu trouver le temps de la regarder et encore moins de l'utiliser. Sinon, les méthodes formelles dans demexp, ça reste à l'état de voeux pieux. :) Amicalement, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Liste de discussion demexp-fr. Pour se désinscrire, cliquer sur le lien ci-après. mailto:[EMAIL PROTECTED]
