Comment Comment by m4lvin Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-) parent m4lvin 5 months ago
