Bryan Gin-ge Chen
@bryangingechen
Bryan Gin-ge Chen
here to learn
Public notebooks
Feb 16, 2021• 1
Apr 30, 2020• 1
Mar 15, 2020• 1
Mar 15, 2020• 1 8
Nov 23, 2019• 3
Sep 16, 2019• 5
Public collections
A collection of eating utensils
duty-free imports of inputs, tools, and libraries!
Notebooks related to the Lean theorem prover https://leanprover.github.io
Long-form interactive writing / drawing; non-fictional modulo conjectures, open questions and the hopefully rare bug. Hopefully nourishing to your soul!
bite-sized illustrations / explanations
Notebooks about notebooks