EasyChair Smart Slide
Formalization of Gambler’s Ruin Problem in Isabelle/HOL
Formalization of Gambler’s Ruin Problem in Isabelle/HOL