Platform
Docs
Resources
Blog
Pricing
Sign in
Sign up
Bryan Gin-ge Chen
here to learn
https://twitter.com/blockspins
Public notebooks
Public collections
Public notebooks
Sort
Title
Likes
Published
Showing
1-30
of
62
notebooks
Prev
Next
mathjax-editing.js
Bryan Gin-ge Chen
Feb 16, 2021
•
1
Convex hull peeling (fading)
This notebook is a fork
Bryan Gin-ge Chen
Apr 30, 2020
•
1
GitHub Lean file viewer
This notebook is a fork
Bryan Gin-ge Chen
Mar 15, 2020
•
1
highlightjs for Lean
Bryan Gin-ge Chen
Mar 15, 2020
•
1
8
GitHub Lean doc preview
Bryan Gin-ge Chen
Nov 23, 2019
•
3
3x+1 paths in binary
Bryan Gin-ge Chen
Sep 16, 2019
•
6
Notebook stepper
This notebook is a fork
Bryan Gin-ge Chen
Sep 15, 2019
•
18
Notebook import inspector (deprecated)
Bryan Gin-ge Chen
Sep 10, 2019
•
17
Connect Observable notebooks to Lean on your computer with websocketd
Bryan Gin-ge Chen
Jul 31, 2019
•
5
Fibonacci formalized 2: bees and cars
This notebook is a fork
Bryan Gin-ge Chen
Jul 28, 2019
•
5
Fibonacci formalized 1: some sums
Bryan Gin-ge Chen
Jul 28, 2019
•
14
Stepping through currying in Lean
Bryan Gin-ge Chen
Jul 28, 2019
•
4
Lean exercise box
Bryan Gin-ge Chen
Jul 28, 2019
•
1
Standalone Lean editor
Bryan Gin-ge Chen
Jul 28, 2019
•
1
Hello, Lean prover!
Bryan Gin-ge Chen
Jul 28, 2019
•
37
MathJax
Bryan Gin-ge Chen
Jul 8, 2019
•
10
Convex hull peeling guessing game
This notebook is a fork
Bryan Gin-ge Chen
Jul 8, 2019
•
7
Polygon input
This notebook is a fork
Bryan Gin-ge Chen
Jul 8, 2019
•
5
Convex hull peeling II
This notebook is a fork
Bryan Gin-ge Chen
Jul 8, 2019
•
2
Convex hull peeling
Bryan Gin-ge Chen
Jul 8, 2019
•
11
Brython in observable
This notebook is a fork
Bryan Gin-ge Chen
Apr 5, 2019
•
2
Multiple Sankeys
This notebook is a fork
Bryan Gin-ge Chen
Apr 5, 2019
•
3
Sandpiles in the reactive runtime
Bryan Gin-ge Chen
Apr 2, 2019
•
6
Hello, cubic-spline!
Bryan Gin-ge Chen
Mar 20, 2019
•
4
2
Hello, Bokeh.js!
Bryan Gin-ge Chen
Mar 19, 2019
•
7
WebSocket-powered notebook editing tools
Bryan Gin-ge Chen
Mar 13, 2019
•
10
Exporting notebooks with their source
Bryan Gin-ge Chen
Mar 10, 2019
•
26
fromV1
Bryan Gin-ge Chen
Mar 2, 2019
From raw notebook source to Observable runtime V1 modules
Bryan Gin-ge Chen
Mar 1, 2019
•
18
Drag to re-arrange (vertical edition)
This notebook is a fork
Bryan Gin-ge Chen
Feb 26, 2019
•
8
Showing
1-30
of
62
notebooks
Prev
Next