karolgorecki/goprove

Isolate the cli tool in a cmd package

jgautheron opened this issue · 0 comments

jgautheron commented

So that we could use goprove as a library.