package dedukti
The Dedukti logical framework
Install
Dune Dependency
Authors
Maintainers
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)
- menhir
-
ocamlfind
build -
ocamlbuild
build -
ocaml
>= "4.03.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page