Install Why2html On A Debian, Ubuntu, Kali, Fedora And Raspbian

Install Why2html On A Debian, Ubuntu, Kali, Fedora And Raspbian

why2html

Software verification tool

Learn Laravel, React, VueJS and Python
read programming books
Maintainer: Debian OCaml Maintainers
Email: [email protected] .
Website: http://krakatoa.lri.fr/
Section: math

Install why2html

  • Debian apt-get install why Click to copy
  • Ubuntu apt-get install why Click to copy
  • Kali Linux apt-get install why Click to copy
  • Fedora dnf install why Click to copy
  • Raspbian apt-get install why Click to copy

why

Software verification tool

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

Install the latest version of why2html in Debian, Ubuntu, Kali, Fedora and Raspbian from terminal. To install the why2html just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of why2html from the respository and install it in your computer/server.