What are your interests?
Select categories to help us recommend content for you.
Let's Go!
Close queue History
Play full episodes to fill your queue.
Fathom beta logo
   
mute button
Not AI Processed
Previews and search are not yet available for this episode.

Autoplay will start you at the beginning of the episode.
stars icon stars icon
No Highlight Generated
episode icon Breaking Math Podcast
90. LEAN Theorem Provers used to model Physics and Chemistry
Breaking Math WebsiteBreaking Math Email:  BreakingM... more
Mar 16 2024 46m
Like
Clip
Share
Transcript
More
Play Full