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).
Authors | Rodolphe Lepigre <rodolphe.lepigre@inria.fr> and Frédéric Blanqui <frederic.blanqui@inria.fr> |
---|---|
License | CeCILL-1.0+ |
Published | |
Homepage | https://github.com/rlepigre/lambdapi |
Issue Tracker | https://github.com/rlepigre/lambdapi/issues |
Maintainer | dedukti-dev@inria.fr |
Dependencies |
|
Source [http] | https://github.com/rlepigre/lambdapi/archive/lambdapi-1.0.tar.gz md5=16c3b0aea9e6aa0e13ee7dc59f9239cb |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lambdapi/lambdapi.1.0/opam |
No package is dependent