Why Observable
Product
Enterprise
Resources
Pricing
Search
Sign in
Sign up
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Fork
Published
Lean Templates
Edited
1 fork
1 Like
Start building your own data visualizations from examples like this.
Try it for free
Powering the world’s best data teams. Use Observable to explore your data, create visualizations, and share insights faster.
Try it for free
More from Observable creators