package dedukti

  1. Overview
  2. Docs
The Dedukti logical framework

Install

Dune Dependency

deducteam.github.io Edit opam file Versions (2)

Authors

  1. D
    Deducteam (Inria) <dedukti-dev@inria.fr>

Maintainers

  1. R
    Rodolphe Lepigre <rodolphe.lepigre@inria.fr>

Sources

v2.6.0.tar.gz
sha256=405db002eabc19337cb5bdf4a0676fabc5ec5b3965e70ca5758820e20478d6f8
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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct