Building a model that can prove theorems (with Shubho from Axiom Math)
The Infra Pod
Jun 04
Building a model that can prove theorems (with Shubho from Axiom Math)
Building a model that can prove theorems (with Shubho from Axiom Math)

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