hol2dkversion Documentation on ocaml.org
HOL-Light to Dedukti/Lambdapi and Rocq translator
HOL-Light to Dedukti/Lambdapi and Rocq 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/2.1.0/hol2dk-2.1.0.tbz sha256=57a91423ffa5d560b092a5285c67e7eba7c44bae9904e10e0688868a7ff6e656 sha512=677d19ec68aac820790b5bb0c7afcff1440c00a3799c9d86edaefe006e733bdb12045b6f3534dee994658e8d013740ac182649441d01ed5314e3a3e22f911718 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hol2dk/hol2dk.2.1.0/opam |
No package is dependent
