3 ms·
That would be a bug in math itself, rather than a bug in Lean. It's possible, of course, but even less likely.
by munchler 2y ago
That would be a bug in math itself, rather than a bug in Lean. It's possible, of course, but even less likely.
loading thread…