8 points | by kqr 4 hours ago ago
1 comments
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 ;-)