Grace/Cumulus/Probability.g17

Open in Workbench Download source

Imports

Probability.SetSum · Probability.Space · Probability.Uniform · Probability.Conditional · Probability.Independence · Probability.RandomVariable · Probability.Variance · Probability.Bernoulli · Probability.Dirac · Probability.Birthday

Declarations

Source

1-- Finite probability2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Probability8import Probability.SetSum9import Probability.Space10import Probability.Uniform11import Probability.Conditional12import Probability.Independence13import Probability.RandomVariable14import Probability.Variance15import Probability.Bernoulli16import Probability.Dirac17import Probability.Birthday18