You might find some more thinking about this in the field of Computational Science and Engineering (aka CSE). This is related to computer science, but distinct

You might find some more thinking about this in the field of Computational Science and Engineering (aka CSE). This is related to computer science, but distinct (often a separate department). https://en.wikipedia.org/wiki/Computational_engineering https://en.wikipedia.org/wiki/Computational_engineering Some universities call these "Scientific Computing" as well. E.g., https://gradadm.seas.upenn.edu/masters/scientific-computing/ https://gradadm.seas.upenn.edu/masters/scientific-computing/ There is even an industry journal (closely linked to high performance computing). Of course this CSE is said to mean "Computing in Science and Engineering" (just to add confusion): https://www.computer.org/csdl/magazine/cs/2022/01 https://www.computer.org/csdl/magazine/cs/2022/01 Here's a paper that touches on some of the challenges of implementing proofs (and other scientific theory) in software. https://f1000research.com/articles/9-1192 https://f1000research.com/articles/9-1192