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

explorables more substantial than morsels, yet less filling than meals