all options
jessie  ] [  sid  ]
[ Source: why  ]

Package: libwhy-coq (2.34-2)

Links for libwhy-coq


Debian Resources:

Download Source Package why:


External Resources:

Similar packages:

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.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libwhy-coq

  • depends
  • recommends
  • suggests
  • enhances

Download libwhy-coq

Download for all available architectures
Architecture Package Size Installed Size Files
all 239.1 kB864.0 kB [list of files]