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.