Strata Manual

Strata offers a unified platform for formalizing language syntax and semantics, and implementing automated reasoning applications.

DDM Documentation

Documentation for Strata's Dialect Definition Metalanguage (DDM) system.

Strata Core Language Definition Documentation

Documentation for Strata Core language definition.

API Reference

API documentation for Strata and StrataTest.