PhD student interested in interactive theorem proving.
Start building your own data visualizations from examples like this.
Powering the world’s best data teams. Use Observable to explore your data, create visualizations, and share insights faster.
More from Observable creators