1 search result for "author:"Alexander Bagnall""

Showing 1 - 1
  1. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    Added to opam-repository