> It would be a tremendous benefit to the field if we could somehow merge the practical power of differential equations and function approximators with the theo

> It would be a tremendous benefit to the field if we could somehow merge the practical power of differential equations and function approximators with the theoretical power of the theory of computation. If you consider Leslie Lamport's TLA+ [0] bringing logic specifications tied to software, it comes close to what you are looking for IMHO. Code the differential equations in your code but use TLA+ for the mathematics and theory of computation. [0] http://lamport.azurewebsites.net/tla/high-level-view.html http://lamport.azurewebsites.net/tla/high-level-view.html