Miz3f Installation On A Debian, Ubuntu And Raspbian

Miz3f Installation On A Debian, Ubuntu And Raspbian

miz3f

HOL Light theorem prover

Learn Laravel, React, VueJS and Python
read programming books

Install miz3f

  • Debian apt-get install hol-light Click to copy
  • Ubuntu apt-get install hol-light Click to copy
  • Raspbian apt-get install hol-light Click to copy

hol-light

HOL Light theorem prover

HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aims at the formalization of Tom Hales' proof of the Kepler conjecture.

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