hol2dkversion Documentation on ocaml.org
HOL-Light to Dedukti/Lambdapi and Coq translator
HOL-Light to Dedukti/Lambdapi and Coq translator
| Authors | Frédéric Blanqui and Anthony Bordg |
|---|---|
| License | CeCILL-2.1 |
| Published | |
| Homepage | https://github.com/Deducteam/hol2dk |
| Issue Tracker | https://github.com/Deducteam/hol2dk/issues |
| Maintainer | Frédéric Blanqui |
| Dependencies | |
| Source [http] | https://github.com/Deducteam/hol2dk/releases/download/1.0.0/hol2dk-1.0.0.tbz sha256=b9a304e56acda8367944c8590497ede7a386850b423432186309f36cc3aaed98 sha512=80027e2966d0b4192b5c297b6932ce10d7f20890be93e3f20570afb0ecd3b0b8f0ae84438a1f1aca5e8839e157240de8aedc772b3087c79b5c9ff2dca7792e7c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.1.0.0/opam |
No package is dependent
