I am having a hard time proving A → ¬ (¬ A ∧ B) with the Lean theorem prover. I set it up like this: example : A → ¬ (¬ A ∧ B)
So this is more an oddity I've come up against than something I really want to use. But I found something I didn't understand with the bash extended test syntax