It's for mathematics. There is this programming language: https://lean-lang.org/

If you can express a solution in Lean you can formally prove or disprove it. Formal verification is making a debut in traditional engineering toolkits.