deduktiversion Documentation on ocaml.org
The Dedukti logical framework
Dedukti is a logical framework based on the λΠ-calculus modulo in which many theories and logics can be expressed.
| Author | Deducteam (Inria) <dedukti-dev@inria.fr> |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | https://deducteam.github.io |
| Issue Tracker | https://github.com/Deducteam/Dedukti/issues |
| Maintainer | Rodolphe Lepigre <rodolphe.lepigre@inria.fr> |
| Dependencies |
|
| Source [http] | https://github.com/Deducteam/Dedukti/archive/v2.6.0.tar.gz sha256=405db002eabc19337cb5bdf4a0676fabc5ec5b3965e70ca5758820e20478d6f8 md5=2b79cea0b02684ad852ef20b0a539668 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/dedukti/dedukti.2.6.0/opam |
Optionally used by
