package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for the λΠ-calculus modulo rewriting

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

D

Deducteam

Maintainers

D

dedukti-dev@inria.fr

Sources

lambdapi-2.5.1.tbz

sha256=2c251021b6fac40c05282ca183902da5b1008e69d9179d7a9543905c2c21a28a

sha512=69535f92766e6fedc2675fc214f0fb699bde2a06aa91d338c93c99756235a293cf16776f6328973dda07cf2ad402e58fe3104a08f1a896990c1778b42f7f9fcf

doc/index.html

lambdapi

API

Library lambdapi.common

Common

Library lambdapi.core

Core

Library lambdapi.export

Export

Library lambdapi.handle

Handle

Library lambdapi.lplib

Lplib

Library lambdapi.lsp

Lsp

Library lambdapi.parsing

Parsing

Library lambdapi.pure

Pure Interface to LSP.

Library lambdapi.tool

Tool

On This Page

API