prob

Interview based DSA problems.

A Rust toolchain for Event-B: parser, static checker, CLI and Language Server (LSP) with Rodin round-tripping

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

Gamma distribution differential entropy.

Test if a numeric value is a probability.

Binomial distribution cumulative distribution function (CDF).

Beta distribution.

Beta distribution constructor.

Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security

Beta distribution probability density function (PDF).

Discrete uniform distribution constructor.

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

Show B parse and type errors in vim

Inverse gamma distribution mode.

Inverse gamma distribution variance.

Gamma distribution expected value.

Triangular distribution skewness.

Uniform distribution median.

Gamma distribution skewness.

Degenerate distribution logarithm of probability density function (logPDF).