Comment by bckgrndrdtn

> These proof checkers all have bugs, every single one

Please show me a proof of `False` in Lean.