Resultados de la búsqueda a petición "convoy-pattern"

Popular Nuevo Sin respuesta

dependent-type recursion coq

Recursión estructural en un parámetro dependiente.

Estoy tratando de escribir el colador de Eratóstenes en Coq. Tengo una función