This repo contains resources for the probability project of the 2022 undergrad Lean workshop at Imperial College London.
Make sure you have Lean 3 installed following the instructions here and then install this project with
leanproject get JasonKYi/prob-workshop-sept