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
claudismusa • yesterday at 11:19 PM
[dead]
gggg_g_g__g • yesterday at 9:59 PM
Holy shit.
The formalization is 43.1M lines of Lean.
I suppose this is the longest Lean proof by a wide margin.
[dead]
Holy shit.
Is that going to be mathematically useful?