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

sha256=04fac3b56d1855795d7d2d2442bc650183bcd71f676c3ea77f37240e33769ce9

sha512=37f7bec3bc48632379ca9fb3eb562a0c0387e54afbdd10fb842b8da70c6dad529bb98c14b9d7cddf44a1d5aa61bba86338d310e6a7b420e95b2996b4fbafc95c

Sourcemodule Array : sig ... end

Sourcemodule Base : sig ... end

Standard library extension (mostly).

Sourcemodule Color : sig ... end

Sourcemodule Extra : sig ... end

Sourcemodule Filename : sig ... end

Sourcemodule List : sig ... end

Sourcemodule Option : sig ... end

Sourcemodule Range : sig ... end

Sourcemodule RangeMap : sig ... end

Sourcemodule RangeMap_intf : sig ... end

Sourcemodule Range_intf : sig ... end

Sourcemodule String : sig ... end