[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Ideas for model-checking probabilistic consensus systems?

On 10.12.18 15:07, Leslie Lamport wrote:
> I'm not sure if that module is in the current release; you might have
> to download the nightly build to get it.

The 1.5.7 release includes the Randomization module.