Comment by TKoL on Trying to prove ¬A ∨ B from A → B, but a bit stuck on how to end the proof

I think @ayylien is right, you proved both a and not a produce the conclusion, so it's proven. An alternative route, if you wanted, would be to prove that assuming not (not a or b) ends in contradiction