Opam Package dedukti.2.6.0

Package info

opam-namededukti
opam-version2.6.0
synopsisThe Dedukti logical framework
description Dedukti is a logical framework based on the λΠ-calculus modulo in which many theories and logics can be expressed.
authors
  • Deducteam (Inria) <dedukti-dev@inria.fr>
homepagehttps://deducteam.github.io
licenseLGPL-3.0
deps (4)
revdeps(0)
metas (3)
libraries (2)

Package modules

Package sources

dedukti

Package files

lib/dedukti/version.o
lib/dedukti/version.mli
lib/dedukti/version.cmx
lib/dedukti/version.cmi
lib/dedukti/typing.o
lib/dedukti/typing.mli
lib/dedukti/typing.cmx
lib/dedukti/typing.cmi
lib/dedukti/tokens.o
lib/dedukti/tokens.cmx
lib/dedukti/term.o
lib/dedukti/term.mli
lib/dedukti/term.cmx
lib/dedukti/term.cmi
lib/dedukti/subst.o
lib/dedukti/subst.mli
lib/dedukti/subst.cmx
lib/dedukti/subst.cmi
lib/dedukti/signature.o
lib/dedukti/signature.mli
lib/dedukti/signature.cmx
lib/dedukti/signature.cmi
lib/dedukti/scoping.o
lib/dedukti/scoping.cmx
lib/dedukti/rule.o
lib/dedukti/rule.mli
lib/dedukti/rule.cmx
lib/dedukti/rule.cmi
lib/dedukti/reduction.o
lib/dedukti/reduction.mli
lib/dedukti/reduction.cmx
lib/dedukti/reduction.cmi
lib/dedukti/preterm.o
lib/dedukti/preterm.cmx
lib/dedukti/pp.o
lib/dedukti/pp.mli
lib/dedukti/pp.cmx
lib/dedukti/pp.cmi
lib/dedukti/parser.o
lib/dedukti/parser.mli
lib/dedukti/parser.cmxa
lib/dedukti/parser.cmx
lib/dedukti/parser.cmi
lib/dedukti/parser.cma
lib/dedukti/parser.a
lib/dedukti/menhir_parser.o
lib/dedukti/menhir_parser.cmx
lib/dedukti/matching.o
lib/dedukti/matching.mli
lib/dedukti/matching.cmx
lib/dedukti/matching.cmi
lib/dedukti/lexer.o
lib/dedukti/lexer.cmx
lib/dedukti/kernel.cmxa
lib/dedukti/kernel.cma
lib/dedukti/kernel.a
lib/dedukti/internals.o
lib/dedukti/internals.cmx
lib/dedukti/errors.o
lib/dedukti/errors.mli
lib/dedukti/errors.cmx
lib/dedukti/errors.cmi
lib/dedukti/env.o
lib/dedukti/env.mli
lib/dedukti/env.cmx
lib/dedukti/env.cmi
lib/dedukti/entry.o
lib/dedukti/entry.mli
lib/dedukti/entry.cmx
lib/dedukti/entry.cmi
lib/dedukti/dtree.o
lib/dedukti/dtree.mli
lib/dedukti/dtree.cmx
lib/dedukti/dtree.cmi
lib/dedukti/confluence.o
lib/dedukti/confluence.mli
lib/dedukti/confluence.cmx
lib/dedukti/confluence.cmi
lib/dedukti/basic.o
lib/dedukti/basic.mli
lib/dedukti/basic.cmx
lib/dedukti/basic.cmi
lib/dedukti/META
lib/dedukti
bin/dktop
bin/dkdep
bin/dkcheck