hol2dkversion
HOL-Light to Dedukti/Lambdapi translator
HOL-Light to Dedukti/Lambdapi translator
| Author | Frédéric Blanqui |
|---|---|
| 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/0.0.0/hol2dk-0.0.0.tbz sha256=17aaba571153eb188524225c4a491a15e749935a38ebf190a5162f9f6563407c sha512=aaf26a8d0c6545b655ae18ffdaa65ab11c133e362103677dbc733ad9fa0b60092e05819c15b45bb7b1bda2235c5ec3b869f842c465613688882f961e7a2b7b04 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.0.0.0/opam |
No package is dependent
