Install libwhy-coq by entering the following commands in the terminal:
sudo apt update sudo apt install libwhy-coq
Description:
Why library for Coq
This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq.
Homepage: http://krakatoa.lri.fr/
Version: 2.39-2build1
Section: universe/libdevel