logsem / clutch

Probabilistic separation logics for verifying higher-order probabilistic programs.
21Updated this week

Alternatives and similar repositories for clutch:

Users that are interested in clutch are comparing it to the libraries listed below