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-2.0.0.tbz

sha256=1a91f3c3743575506c7e727a8615586182d7a7a40e756da2908890b5e4310fb2

sha512=14d15456d36a399c8842581bf111575a16c5d64c162b31e9b0f5b57a0ce35ae9cd560ff5164997525f5737bd66a117c1977a6d07302c318c46c6b65be2629e3b

doc/index.html

hol2dk