Explore
Product
Pricing
Learn
Community
Company
Solutions
Search
Sign in
Sign up
Bryan Gin-ge Chen
@bryangingechen
Profile
Notebooks
Collections
Bryan Gin-ge Chen
here to learn
https://twitter.com/blockspins
Public notebooks
View all
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
•
5
Public collections
View all
Forks
(17)
A collection of eating utensils
Ingredients
(24)
duty-free imports of inputs, tools, and libraries!
Lean
(10)
Notebooks related to the Lean theorem prover https://leanprover.github.io
Meals
(3)
Long-form interactive writing / drawing; non-fictional modulo conjectures, open questions and the hopefully rare bug. Hopefully nourishing to your soul!
Morsels
(8)
bite-sized illustrations / explanations
Observable
(13)
Notebooks about notebooks