alt Hacker NewsThe formalization is 43.1M lines of Lean.
Replies
cubefox • yesterday at 7:16 PM
I suppose this is the longest Lean proof by a wide margin.
➕ show 1 reply
gggg_g_g__g • yesterday at 9:59 PM
Holy shit.
claudismusa • yesterday at 11:19 PM
[dead]
The formalization is 43.1M lines of Lean.
I suppose this is the longest Lean proof by a wide margin.
Holy shit.
[dead]
Is that going to be mathematically useful?