Conheça 5 dos melhores assistentes de prova gratuitos e de código aberto
Na ciência da computação e na lógica matemática, um assistente de prova ou provador de teoremas interativo é uma ferramenta de software para auxiliar no desenvolvimento de provas formais por meio da colaboração homem-máquina. Isto envolve algum tipo de editor de provas interativo, ou outra interface, com a qual um ser humano pode orientar a […]