The specification language is called Gallina and the command language is called the vernacular.
