Resultados da pesquisa a pedido "convoy-pattern"

Popular Novo Não responde

dependent-type recursion coq

Recursão estrutural em um parâmetro dependente

Estou tentando escrever a peneira de Eratóstenes na Coq. Eu tenho uma função