Interview based DSA problems.

B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)

Test if a numeric value is a probability.

Binomial distribution cumulative distribution function (CDF).

Beta distribution.

Beta distribution probability density function (PDF).

First level of the Event-B specification of the HIMACF model (with role-based access control)

Gamma distribution differential entropy.

Natural logarithm of the probability density function (PDF) for a chi-squared distribution.

Beta distribution constructor.

Show B parse and type errors in vim

Gamma distribution expected value.

Inverse gamma distribution mode.

Rust toolchain for Event-B. Command line inter-op with Rodin.

Inverse gamma distribution variance.

Discrete uniform distribution constructor.

Uniform distribution median.

Triangular distribution skewness.

Chi distribution.

Negative binomial distribution constructor.