Probabilistic separation logics for verifying higher-order probabilistic programs.
Primary LanguageCoqMIT LicenseMIT