Contact

The project is part of the Ecosystem formally verifiable IT (EvIT) of Cyberagentur and maintained by QBayLogic.

Get in touch with us

Would you like to learn more about our mission of integrating functional languages with hardware design and formal verification tools?

Then contact us directly via our contact form.

Contact Us