Dafny-VMC: a Library for Verified Monte Carlo Algorithms - Zetzsche, Stefan; Tristan, Jean-Baptiste (2023)