htirage-1.20170804: Equiprobable draw from publicly verifiable random data.
Htirage
Description
Tirage au sort équiprobable par aléa publiquement vérifiable.
module Htirage.Bits
module Htirage.Combin
module Htirage.Draw
module Htirage.Random