[prove] running prove without path argument (#53) · Issues · pub / Why3find · GitLab

[prove] running prove without path argument

Without a path argument `why3find prove` gives ``` Cache 0/0 Proofs ✔ (-) (none) ``` A possibly better default would be doing the same as `why3find prove .`

issue