Hacker News new | ask | show | jobs
by lakesare 1000 days ago
I love "Lean" actually, have you noticed ∃∀. Googling Lean concepts does primarily return the codeine syrup links though yes.
1 comments
lupire 1000 days ago
N for Natural numbers.
link