GitHub repository: ksk/Rho
Primary language: OCaml
Description: Programs for checking the ρ property