dedukti

AuthorDeducteam (Inria) <dedukti-dev@inria.fr>
LicenseLGPL-3.0
Homepagehttps://deducteam.github.io
Issue Trackerhttps://github.com/Deducteam/Dedukti/issues
MaintainerRodolphe Lepigre <rodolphe.lepigre@inria.fr>
Dependencies
&menhir
ocamlbuild
ocamlfind
Availableocaml-version >= "4.03.0"
PublishedJun 5, 2018
Source [http] https://github.com/Deducteam/Dedukti/archive/v2.6.0.tar.gz
2b79cea0b02684ad852ef20b0a539668
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/dedukti/dedukti.2.6.0/opam

The Dedukti logical framework

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

No package is dependent