package lambdapi
Implementation of the λΠ-calculus modulo rewriting
Install
Dune Dependency
Authors
Maintainers
Sources
lambdapi-1.0.tar.gz
sha256=12f2414a9e1ad46c5467b42984569b191164e4e762332b60d277b22660b5ebbc
md5=16c3b0aea9e6aa0e13ee7dc59f9239cb
Description
Lambdapi is an implementation of the λΠ-calculus modulo rewriting, that is mostly compatible with Dedukti (https://github.com/Deducteam/Dedukti).
Published: 19 Sep 2018
Dependencies (8)
-
timed
>= "1.0" -
bindlib
= "5.0.0" -
earley-ocaml
>= "1.0.2" -
earley
>= "1.0.2" - menhir
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.04.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page