alt
Hacker News
Lean, Not Backpressure
10 points
•
by
kqr
•
today at 7:11 AM
•
1 comment
•
view on HN
Comments
m4lvin
•
today at 10:07 AM
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)