3 ms·Lean, Not Backpressure21 points by kqr 5mo agom4lvin 5mo agoExpected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)