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

Dependency

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

Authors

D

Deducteam

Maintainers

D

dedukti-dev@inria.fr

Sources

lambdapi-3.0.0.tbz

sha256=1066aed2618fd8e6a400c5147dbf55ea977ce8d3fe2e518ac6785c6775a1b8be

sha512=f7f499626aba92e070ae69581299a58525973fdbfd04a160ed3ac89209fb6cbe307b816d0b23e1b75bc83467ce8b4b0530c6f9816eaf58f7a07fde65a450106c

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