top
new
show
ask
jobs

Comment by golol

3 days ago

Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.

0 comments

golol

Reply

No comments yet

Contribute on Hacker News ↗

Slacker News

Product

API Reference
Hacker News RSS
Source on GitHub

Community

Support Ukraine
Equal Justice Initiative
GiveWell Charities