Describe your target substrate and the properties you need established. Enquiries are answered by the engineers who maintain the toolchain, not by a sales desk.
Interactive studio, learning modules, and the full language reference.
Try the LOGOS language in your browser.
Scope a proof of concept
Bring your substrate and your reference implementation. We scope which properties get established, run the proof against your builds, and report the result with its conditions.
Ask a Technical Question
Questions about substrate compatibility, proof scope, or what would be required to verify your lowering path.