← Back to context Comment by zeroonetwothree 1 day ago Integer multiplication is very unexpected, I think most people believed in the n log n lower bound! 4 comments zeroonetwothree Reply tootie 1 day ago Note that these are all preprints. None are verified. FuckButtons 21 hours ago Other than the by the lean certificate you mean. jaykru 19 hours ago many of these are not accompanied with leanslop measurablefunc 19 hours ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
tootie 1 day ago Note that these are all preprints. None are verified. FuckButtons 21 hours ago Other than the by the lean certificate you mean. jaykru 19 hours ago many of these are not accompanied with leanslop measurablefunc 19 hours ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
FuckButtons 21 hours ago Other than the by the lean certificate you mean. jaykru 19 hours ago many of these are not accompanied with leanslop measurablefunc 19 hours ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
Note that these are all preprints. None are verified.
Other than the by the lean certificate you mean.
many of these are not accompanied with leanslop
Lean has bugs & proofs of ⊥ that have gone undetected previously.