Coq implementations of finite volume methods and 1D discretizations
mfdeakin / finite-vol Goto Github PK
View Code? Open in Web Editor NEWCoq implementations of finite volume methods and 1D discretizations
License: GNU Lesser General Public License v3.0