Install why3-coq by entering the following commands in the terminal:
sudo apt update sudo apt install why3-coq
Description:
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
Homepage: http://why3.lri.fr/
Version: 0.88.3-1ubuntu4
Section: universe/math