London Learning Lean Probability Theory and Martingales by Jason Kexing Ying

>> DOWNLOAD LINK 🎞️ #1 <<

>> DOWNLOAD LINK 🎞️ #2 <<

>> COPY / PASTE LINK PLEASE 🎵 MP3 <<

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=5VJ8ZFl_Klo

Jason gives an introduction to his work formalising probability theory and martingales. • London Learning Lean is a seminar where mathematicians discuss more advanced mathematical formalisations (i.e. typically beyond undergraduate level) in the Lean theorem prover. • For a list of upcoming seminars, check out https://researchseminars.org/seminar/...

#############################