package dedukti

  1. Overview
  2. Docs
The Dedukti logical framework

Install

Dune Dependency

Authors

Maintainers

Sources

v2.6.0.tar.gz
md5=2b79cea0b02684ad852ef20b0a539668

Description

Dedukti is a logical framework based on the λΠ-calculus modulo in which many theories and logics can be expressed.

Published: 05 Jun 2018

Dependencies (4)

  1. menhir
  2. ocamlfind build
  3. ocamlbuild build
  4. ocaml >= "4.03.0"

Dev Dependencies

None

Used by

None

Conflicts

None