alt Hacker NewsOther than the by the lean certificate you mean.
Replies
measurablefunc • today at 3:36 AM
Lean has bugs & proofs of ⊥ that have gone undetected previously.
Other than the by the lean certificate you mean.
Lean has bugs & proofs of ⊥ that have gone undetected previously.
many of these are not accompanied with leanslop