package hol2dk
HOL-Light to Dedukti/Lambdapi translator
Install
Dune Dependency
Authors
Maintainers
Sources
hol2dk-0.0.0.tbz
sha256=17aaba571153eb188524225c4a491a15e749935a38ebf190a5162f9f6563407c
sha512=aaf26a8d0c6545b655ae18ffdaa65ab11c133e362103677dbc733ad9fa0b60092e05819c15b45bb7b1bda2235c5ec3b869f842c465613688882f961e7a2b7b04