package hol2dk

  1. Overview
  2. Docs
HOL-Light to Dedukti/Lambdapi and Rocq translator

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Blanqui

Maintainers

  1. F
    Frédéric Blanqui

Sources

hol2dk-2.1.0.tbz
sha256=57a91423ffa5d560b092a5285c67e7eba7c44bae9904e10e0688868a7ff6e656
sha512=677d19ec68aac820790b5bb0c7afcff1440c00a3799c9d86edaefe006e733bdb12045b6f3534dee994658e8d013740ac182649441d01ed5314e3a3e22f911718

doc/index.html

hol2dk