zarpy (pypi): Formally verified biased coin and n-sided die
Keywords: zar|zarpy|random|sampler|biased|coin|bernoulli|uniform|die|verified|coq|compiler|formal-verification|probabilistic-programming|sampling