many of these are not accompanied with leanslop

Lean has bugs & proofs of ⊥ that have gone undetected previously.