PhoX is an implementation of Higher Order Logic
Description

Its main charateritics are

  • Tactics such as intro or rewrite can be extended by arbitrary theorems
  • As these tactics are used by the auto tactics, this allows to program the auto tatics.
  • You can produce nice latex documents.
  • doc/library/examples/tutorials are available.
  • ...

Authors:

Install
Documentation lama.univ-savoie.fr Edit opam file
Last Published
16 Oct 2017
Authors
Maintainers
Sources
phox.tar.gz
md5=75636a8bc92f5336acf5708747ad3872
Dependencies
camlp4 build
ocamlfind build
ocaml >= "4.02.0" & < "4.06.0"
Reverse Dependencies