» Ubuntu » Packages » lunar (23.04) » math » why3-doc-html
focal  ] [  lunar  ] [  mantic  ] [  noble  ]
[ Source: why3  ]

Package: why3-doc-html (1.5.1-1build3) [universe]

Links for why3-doc-html


Ubuntu Resources:

Download Source Package why3:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

HTML Documentation of the why3 verification platform

Other Packages Related to why3-doc-html

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libjs-jquery
    JavaScript library for dynamic web applications
  • dep: libjs-mathjax
    JavaScript display engine for LaTeX and MathML
  • dep: libjs-sphinxdoc
    JavaScript support for Sphinx documentation
  • dep: libjs-underscore
    JavaScript's functional programming helper library
  • dep: tex-common (>= 6.13)
    common infrastructure for building and installing TeX
  • sug: why3
    Software verification platform

Download why3-doc-html

Download for all available architectures
Architecture Package Size Installed Size Files
all 781.2 kB2,629.0 kB [list of files]