Virgil Marionneau, Félix Sassus Bourda, Alejandro Aguirre, Lars Birkedal: Artifact for Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. Zenodo 2025