4 ms·Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.by golol 1y agoHey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.