Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal: Asynchronous Probabilistic Couplings in Higher-Order Separation Logic - Coq Artifact. Zenodo 2023