← Back to context Comment by tootie 1 day ago Note that these are all preprints. None are verified. 3 comments tootie Reply FuckButtons 1 day ago Other than the by the lean certificate you mean. jaykru 1 day ago many of these are not accompanied with leanslop measurablefunc 1 day ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
FuckButtons 1 day ago Other than the by the lean certificate you mean. jaykru 1 day ago many of these are not accompanied with leanslop measurablefunc 1 day ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
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.