Thoughtscript[io]

Adam In Tae Gerard
On Proofs and Diagrams in Math
- on proof and diagramming in math
Metalanguages and Visualization Apps
- explaining diagrams, visualization, and text apps
On Connection Theory
- comments about connection theory
Thinking Notation
- Thinking Notation initial comments
Thinking Notation #2
- Thinking Notation #2 comments