Perguntas com a marcação «proof-assistants»

Um assistente de prova é um programa aplicativo que ajuda humanos a construir provas verificadas por máquina.


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.