package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

The Dedukti logical framework

Install

Dune Dependency

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

Authors

D

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

Maintainers

R

Rodolphe Lepigre <rodolphe.lepigre@inria.fr>

Sources

sha256=405db002eabc19337cb5bdf4a0676fabc5ec5b3965e70ca5758820e20478d6f8

md5=2b79cea0b02684ad852ef20b0a539668

doc/index.html

dedukti

API

Library dedukti.kernel

No module.

Library dedukti.parser

No module.

On This Page

API
1. Library dedukti.kernel
2. Library dedukti.parser