PhD student interested in interactive theorem proving.
Steps Designer Template
Proof View Designer Template
Purpose-built for displays of data
Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
