90. LEAN Theorem Provers used to model Physics and Chemistry

od Breaking Math Podcast