hol2dkversion

HOL-Light to Dedukti/Lambdapi and Coq translator

HOL-Light to Dedukti/Lambdapi and Coq translator

AuthorsFrédéric Blanqui and Anthony Bordg
LicenseCeCILL-2.1
Published
Homepagehttps://github.com/Deducteam/hol2dk
Issue Trackerhttps://github.com/Deducteam/hol2dk/issues
MaintainerFré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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.2.0.0/opam
No package is dependent