GitHub repository: logsem/clutch
Primary language: Rocq Prover
Description: Probabilistic separation logics for verifying higher-order probabilistic programs.