package hol2dk
HOL-Light to Dedukti/Lambdapi translator
Install
Dune Dependency
Authors
Maintainers
Sources
hol2dk-0.0.1.tbz
sha256=e1d729676f01c0fdfcffaa06be212caa80316dcdccdea77fe3c0973c14fe641d
sha512=7be0c83ef0356ce18889f447a1183c4ec5373c2a47291ceb9c75d426fe159cd824db95b01285f8da805fbd002fdcb91cb59666e31535c3c84cac92075feefd63