hoje temos um esforço sobre IA e prova automática de teoremas (e alguns projetos legais!)
18,56K