PhoX is an implementation of Higher Order Logic
Install
Authors
Maintainers
Sources
phox.tar.gz
md5=75636a8bc92f5336acf5708747ad3872
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:
- Christophe Raffalli christophe.raffalli@univ-savoie.fr
Published: 16 Oct 2017
On This Page