2 ms·Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)by m4lvin 4mo agoExpected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)