PhD student interested in interactive theorem proving.
General Utilities
addCSS = style => {
if (!document.getElementById(style.id)) {
document.body.appendChild(style);
}
}
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.
