‹
›
This content requires a premium subscription.
Please
log in
or
subscribe
to continue.
<iframe title="Libsyn Player" style="border: none" src="//html5-player.libsyn.com/embed/episode/id/7665320/height/90/theme/custom/thumbnail/no/direction/backward/render-playlist/no/custom-color/723960/" height="90" width="100%" scrolling="no" allowfullscreen webkitallowfullscreen mozallowfullscreen oallowfullscreen msallowfullscreen></iframe>
Data Skeptic
[MINI] Theorem Provers
30
00:00:00
/ 00:18:59
30
![Artwork for [MINI] Theorem Provers](https://assets.libsyn.com/secure/content/26580122/?height=90&width=90)
