Fedora why-coq package: Contains libraries for interfacing why with Coq. You shouldn't have to do anything extra - you should now just be able to use the Coq-related capabilities of Why.
Fedora why-coq package: Contains libraries for interfacing why with Coq. You shouldn't have to do anything extra - you should now just be able to use the Coq-related capabilities of Why.