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