I suppose this is the longest Lean proof by a wide margin.
It's possibly the longest open source project of any kind (depending on whether you count comments and white space in Linux).
alt Hacker News
It's possibly the longest open source project of any kind (depending on whether you count comments and white space in Linux).