What do you mean by field of enquiry? Formal verification has it's success stories, like seL4 (https://sel4.systems/ https://sel4.systems/). This series seems

What do you mean by field of enquiry? Formal verification has it's success stories, like seL4 (https://sel4.systems/ https://sel4.systems/). This series seems rather educational and seems to give you coq proofs for algorithms. I guess it depends on your needs and domain if you need to bother.