GitHub repository: songyahui/ProbEffect
Primary language: OCaml
Created: 2021-06-01T10:38:09Z
Description: Effects Logic for Probabilistic temporal verification