Great

LEAN Theorem Provers used to model Physics and Chemistry

podcast_episode https://media.rss.com/breaking-math/feed.xml#https://api.spreaker.com/episode/59073374

Ranked

• podcast_episodes
  no. 2359 of 3794 — score +0.00 ± 1.00

Diary

• May 29, 2024 consumed

External

feed_url

https://media.rss.com/breaking-math/feed.xml

guid

https://api.spreaker.com/episode/59073374

Metadata

parent_title

Breaking Math Podcast

duration_ms

3056664

image_url

https://media.rss.com/breaking-math/cover_35609c07e618e6cd9bb8f236f33b9528.jpg