← Back to context Comment by FuckButtons 21 hours ago Other than the by the lean certificate you mean. 2 comments FuckButtons Reply jaykru 19 hours ago many of these are not accompanied with leanslop measurablefunc 20 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.