Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
Public
Edited
Feb 6, 2023
str = "here is to replace the f in $stuff with f in it$ and $other f stuff with f in it$ with a g"
str.replace(/\$([^\$]*)f([^\$]*)\$/g, '$$$1g$2$')
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.
