why3extract library obsolete
If it is confirmed that the why3extract library is not used anymore, then all mentions of it in the Makefile, the doc, the opam file, etc. should disappear from the repository.
If it is confirmed that the why3extract library is not used anymore, then all mentions of it in the Makefile, the doc, the opam file, etc. should disappear from the repository.