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 sha256=12f2414a9e1ad46c5467b42984569b191164e4e762332b60d277b22660b5ebbc md5=16c3b0aea9e6aa0e13ee7dc59f9239cb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lambdapi/lambdapi.1.0/opam |
No package is dependent
