lambdapi

Implementation of the λΠ-calculus modulo rewriting
Description

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

Install
Published
19 Sep 2018
Authors
Maintainers
Sources
lambdapi-1.0.tar.gz
md5=16c3b0aea9e6aa0e13ee7dc59f9239cb
Dependencies
timed >= "1.0"
bindlib = "5.0.0"
earley-ocaml >= "1.0.2"
earley >= "1.0.2"
ocaml >= "4.04.0"
Reverse Dependencies