Resultados da pesquisa a pedido "totality"

3 a resposta

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 ...