A Coq library for verifying dependencies of stencil implementations - View it on GitHub