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.1/hol2dk-0.0.1.tbz sha256=e1d729676f01c0fdfcffaa06be212caa80316dcdccdea77fe3c0973c14fe641d sha512=7be0c83ef0356ce18889f447a1183c4ec5373c2a47291ceb9c75d426fe159cd824db95b01285f8da805fbd002fdcb91cb59666e31535c3c84cac92075feefd63 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.0.0.1/opam |
No package is dependent
