Resultados da pesquisa a pedido "totality"
Erro na definição de Ackermann na Coq
Eu estou tentando definir a função Ackermann-Peters no Coq, e estou recebendo uma mensagem de erro que não entendo. Como você pode ver, estou empacotando os ...
Registre-se para continuar usando todos os recursos do Techfeed
SignUpActionJá possui uma conta?SignInAction
Eu estou tentando definir a função Ackermann-Peters no Coq, e estou recebendo uma mensagem de erro que não entendo. Como você pode ver, estou empacotando os ...