Interface gráfica para o assistente de provas Coq
