Hacker News new | ask | show | jobs
by golol 303 days ago
Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.