package hol2dk

You can search for identifiers within the package.

in-package search v0.2.0

HOL-Light to Dedukti/Lambdapi and Coq translator

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

Maintainers

F

Frédéric Blanqui

Sources

hol2dk-1.0.0.tbz

sha256=b9a304e56acda8367944c8590497ede7a386850b423432186309f36cc3aaed98

sha512=80027e2966d0b4192b5c297b6932ce10d7f20890be93e3f20570afb0ecd3b0b8f0ae84438a1f1aca5e8839e157240de8aedc772b3087c79b5c9ff2dca7792e7c

doc/index.html

hol2dk