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
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