I used to do a lot of internet searches to find out. I guess the answer is possible, but very hard. Correct me if I'm wrong. I can only say with confidence that there's a lot of stuff that's missing in the ecosystem, and if we want something, we have to work hard and contribute to the community.
@Guillaume Melquiond since you are the maintainer of the why3-coq opam package. Do you know whether the Coq backend for why3 still works? (Is there any documentation available?)
Yes, it is routinely used. There is some light documentation at https://why3.gitlabpages.inria.fr/why3/itp.html
Last updated: Dec 01 2023 at 06:01 UTC