hol2dkversion
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/2.0.0/hol2dk-2.0.0.tbz sha256=1a91f3c3743575506c7e727a8615586182d7a7a40e756da2908890b5e4310fb2 sha512=14d15456d36a399c8842581bf111575a16c5d64c162b31e9b0f5b57a0ce35ae9cd560ff5164997525f5737bd66a117c1977a6d07302c318c46c6b65be2629e3b |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.2.0.0/opam |
No package is dependent