 Este é um programa chamado Servidor de Linguagem Lean, ele é usado para ajudar pessoas a escrever códigos usando a linguagem
Lean. Ele usa algo chamado Protocolo de Servidor de Linguagem, que é uma maneira de fazer o programa entender o que você está escrevendo e ajudar a corrigir erros. Este programa é a versão 
3. 
