We are a company developing open-source formal verification solutions for popular programming languages 🌲. An example is coq-of-rust to verify Rust programs 🦀. We work primarily remotely and on any continent 🌍.

Formal verification allows to mathematically reason 📐 about code to guarantee zero bugs, given an explicit specification. This is used in critical applications such as the space industry, medical software, and banking systems. We want to make formal verification more accessible by developing new tools that scale to any project 🚀.

Sponsorship is important for us to fund the development of our tools. If you are a company or individual using our products, do not hesitate to sponsor us and contact us! 🤙