← Back to context Comment by FuckButtons 1 day ago Other than the by the lean certificate you mean. 2 comments FuckButtons Reply jaykru 20 hours ago many of these are not accompanied with leanslop measurablefunc 21 hours ago Lean has bugs & proofs of ⊥ that have gone undetected previously.
many of these are not accompanied with leanslop
Lean has bugs & proofs of ⊥ that have gone undetected previously.