If you can formally prove correctness then brilliant, go for it!

That's not something I've seen or been able to achieve in most of my professional work.