Comment by golol Comment by golol 4 days ago 0 replies Copy Link View on Hacker News Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.