[gull] Vote électronique

[Philippe]

On Fri, 16 May 2014 15:10:18 +0200
Alexis Roussel <alexis at roussel-zeter.eu> wrote:

> Hello à tous,
> 
> Je tenais à vous informer que le Conseil d'Etat m'a demandé de faire
> partie de la Commission électorale de Genève.
> 
> Je ne manquerai pas de vous tenir au courant lorsque les travaux sur
> la version 2.0 de vote electronique commencerons ( dans le respect du
> secret de fonction associé... C'est la règle du jeu)
> 
> Cordialement
> Alexis Roussel
> _______________________________________________
> gull mailing list
> gull at forum.linux-gull.ch
> http://forum.linux-gull.ch/mailman/listinfo/gull

J'ai croisé, je vais retrouver dans l'aprèm, une "toy e-voting
implementation" dans un package ayant trait à l'aide à la preuve
formelle de code source, package écrit en caml.