World Model · podcast knowledge graph

Handwritten Math Will Change Dramatically | Leonardo de Moura concept

2 mentions · across 1 show

also known as: Handwritten Math Will Change Dramatically | Leonardo de Moura · handwritten math will change dramatically

Relationship map

mentionedThe Peterman Pod (podcast) — mentionedThe Peterman PodHandwritten Math Will Change …
podcastsolid = outgoing · dashed = incoming

Connections 1

mentioned 1

Heard in

Mentioned in episodes

All extracted evidence for this entity (1)
title:topic Creator of Lean: Handwritten Math Will Change Dramatically |
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura