Navigation: Introduction >
How do I get started?
You can use Lucid Spec to design, simulate, and describe applications. The fastest way to learn how to use Lucid Spec is through the Quick Start Tutorials.