This repository contains the mechanisation of two probabilistic theories in Isabelle/UTP:

• the theory of probabilistic designs
• the theory of probabilistic relations

See the readme in the corresponding folders probability/probabilistic_designs and probability/probabilistic_relations for further instructions.