Linguagem de programação funcional e assistente de provas
