phoxversion
PhoX is an implementation of Higher Order Logic
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
| Author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | https://lama.univ-savoie.fr/~raffalli/phox.html |
| Issue Tracker | https://github.com/craff/phox/issues |
| Maintainer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> |
| Dependencies | |
| Source [http] | https://github.com/craff/phox/archive/0.89.170929/phox.tar.gz sha256=32715a5f270431e88bbee589dd7f5cb2bd08f40ab941fa9863263f64dd0ab7d8 md5=75636a8bc92f5336acf5708747ad3872 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/phox/phox.0.89.170929/opam |
No package is dependent
