I've always read that proving correctness and using theorem provers was impractical for real projects. Could you elaborate on how you use those tools and for wh

I've always read that proving correctness and using theorem provers was impractical for real projects. Could you elaborate on how you use those tools and for which situations? I'm actually really curious