The avatar for @bryangingechen
Bryan Gin-ge Chen
here to learn
Published
Edited
Fork of Polygon input
•
1 fork
Importers
5 stars
Ingredients
mathjax-editing.jshighlightjs for LeanConnect Observable notebooks to Lean on your computer with websocketdCindyJS import exampleTOCD3 ScatterplotD3 Log-Scaled HistogramLean exercise boxStepping through currying in LeanHello, Lean prover!MathJax
Polygon input
Hello, cubic-spline!Brython in observableHello, Bokeh.js!commentOnLabeling connected componentsDrag to re-arrange (vertical edition)Dynamic import polyfillHello, R on OpenCPU!Hello, noUiSlider!Hello, CindyJS!Hello, chess!Grid inputs
Also listed in…
Forks