About Us
Robust, formally verified software systems. Building the foundation of reliable and mathematical software engineering.
Our organization is built on the foundation of open collaboration and a relentless pursuit of excellence. We believe that by working together, we can solve complex challenges and build infrastructure that stands the test of time.
We are a diverse team of passionate engineers, designers, and visionaries dedicated to pushing the boundaries of what is possible. Through our open-source repositories, rigorous testing, and community-driven initiatives, we strive to make a lasting, positive impact on the technological landscape.