lambdapiversion

Implementation of the λΠ-calculus modulo rewriting

Lambdapi is an implementation of the λΠ-calculus modulo rewriting, that is mostly compatible with Dedukti (https://github.com/Deducteam/Dedukti).

AuthorsRodolphe Lepigre <rodolphe.lepigre@inria.fr> and Frédéric Blanqui <frederic.blanqui@inria.fr>
LicenseCeCILL-1.0+
Published
Homepagehttps://github.com/rlepigre/lambdapi
Issue Trackerhttps://github.com/rlepigre/lambdapi/issues
Maintainerdedukti-dev@inria.fr
Dependencies
Source [http] https://github.com/rlepigre/lambdapi/archive/lambdapi-1.0.tar.gz
md5=16c3b0aea9e6aa0e13ee7dc59f9239cb
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lambdapi/lambdapi.1.0/opam
No package is dependent