The Coq verification suite (coq.inria.fr) provides a certified toolchain to produce secure code that conforms to a user specification.
This repository builds in-house extensions to the Coq libraries crafted for industry-specific needs. Additionally, it provides the formalization of mathematical texts for comparing their respective models in industrial applications.