@bryangingechen
Bryan Gin-ge Chen
@bryangingechen

Bryan Gin-ge Chen

Public notebooks

Public collections

thumbnail
A collection of eating utensils
thumbnail
duty-free imports of inputs, tools, and libraries!
thumbnail
Notebooks related to the Lean theorem prover https://leanprover.github.io
thumbnail
Long-form interactive writing / drawing; non-fictional modulo conjectures, open questions and the hopefully rare bug. Hopefully nourishing to your soul!
thumbnail
bite-sized illustrations / explanations
thumbnail
Notebooks about notebooks