Hacker News new | ask | show | jobs
by m4lvin 14 days ago
Expected Lean 4, the programming language and proof assistant, but got the management philosophy ;-)