Promessas

Ok, eu tinha ficado de publicar um artigo sobre prova de teoremas na programação aqui, há um bom tempo já. Mas vieram as provas de final de semestre, e vieram as curtas férias, e isso foi ficando para depois. Em breve a atividade no blog deve aumentar, aproveitando que as disciplinas acabaram e eu vou me dedicar mais à pesquisa. E o artigo prometido ainda vai aparecer.