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.4.1.tbz

sha256=221dff97ab245c49b7e6480fa2a3a331ab70eb86dd5d521e2c73151029bbb787

sha512=a39961bb7f04f739660a98a52981d4793709619cd21310ca6982ba78af81ef09e01c7517ee3b8b2687b09f7d2614d878c1d69494ca6ab8ef8205d240c216ce8a

doc/lambdapi.handle/Handle/Compile/PureUpToSign/index.html

Module `Compile.PureUpToSign`Source

The functions provided in this module perform the same computations as the ones defined earlier, but restore the console state and the library mappings when they have finished. An optional library mapping or console state can be passed as argument to change the settings.

Source

val compile : 
  ?lm:(Common.Path.t * string) ->
  ?st:Common.Console.State.t ->
  ?force:bool ->
  Common.Path.t ->
  Core.Sign.t