[–] m4lvin 1mo ago ↗ Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)
1 comment
[ 3.2 ms ] story [ 17.0 ms ] thread