scripod.com
Building a model that can prove theorems (with Shubho from Axiom Math)

Highlights

Transcript

Chapters

Pins

Building a model that can prove theorems (with Shubho from Axiom Math)

The Infra Pod
OverviewShownote
Unprocessed episode, you can be the first!