I have been contemplating on learning TLA+. Could someone experienced with formal verification let me know what I could be missing by not learning something lik

I have been contemplating on learning TLA+. Could someone experienced with formal verification let me know what I could be missing by not learning something like Coq?