Getting Started

In this chapter, we provide the basic knowledge required to get you started in using Lightning. We will first guide you through the creation of a Lightning project.
We then give an idea of how languages are defined and verified.