package hol2dk

You can search for identifiers within the package.

in-package search v0.2.0

HOL-Light to Dedukti/Lambdapi translator

Install

dune-project

Dependency

sha256=17aaba571153eb188524225c4a491a15e749935a38ebf190a5162f9f6563407c

sha512=aaf26a8d0c6545b655ae18ffdaa65ab11c133e362103677dbc733ad9fa0b60092e05819c15b45bb7b1bda2235c5ec3b869f842c465613688882f961e7a2b7b04

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

First release.