← Back to context Comment by tootie 1 day ago Note that these are all preprints. None are verified. 3 comments tootie Reply 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.
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.