90. LEAN Theorem Provers used to model Physics and Chemistry

by Breaking Math Podcast

  • 2024-03-16 23:42:29Release date
  • 47:26Length