logsem / clutch

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

Related projects

Alternatives and complementary repositories for clutch