Platform
Docs
Resources
Blog
Pricing
Sign in
Sign up
Bryan Gin-ge Chen
here to learn
Workspace
Fork
Published
Ingredients
By
Bryan Gin-ge Chen
Edited
Importers
Ingredients
mathjax-editing.js
highlightjs for Lean
Connect Observable notebooks to Lean on your computer with websocketd
CindyJS import example
TOC
D3 Scatterplot
D3 Log-Scaled Histogram
Lean exercise box
Stepping through currying in Lean
Hello, Lean prover!
MathJax
Polygon input
Hello, cubic-spline!
Brython in observable
Hello, Bokeh.js!
commentOn
Labeling connected components
Drag to re-arrange (vertical edition)
Dynamic import polyfill
Hello, R on OpenCPU!
Hello, noUiSlider!
Hello, CindyJS!
Hello, chess!
Grid inputs
More from Observable creators