>>>>> User Manual
Issues can be reported on the following
Questions can be asked on the following
Examples of developments made with Lambdapi:
Lambdapi requires a Unix-like system. It should work on Linux as well as on
MacOS. It might be possible to make it work on Windows too with Cygwin or
"bash on Windows".
Installation via Opam
opam install lambdapi
The installation gives you:
a main executable
The VSCode extension is available on the Marketplace.
To browse the source code documentation, you can do:
opam install odig odig doc lambdapi
To install Lambdapi libraries, see the opam-lambdapi-repository.
Compilation from the sources
You can get the sources using
git as follows:
git clone https://github.com/Deducteam/lambdapi.git
Dependencies are described in
lambdapi.opam. The command
why3 config detect
must be run to make Why3 know the available provers.
Using Opam, a suitable OCaml environment can be setup as follows:
opam install dune bindlib timed sedlex menhir pratter yojson cmdliner why3 alcotest alt-ergo odoc why3 config detect
To compile Lambdapi, just run the command
make in the source directory.
This produces the
--help option for more information. Other make targets are:
make # Build lambdapi make doc # Build the user documentation (avalaible on readthedocs) make odoc # Build the developer documentation make install # Install lambdapi make install_emacs # Install emacs mode make install_vim # Install vim support
You can run
lambdapi without installing it with
dune exec -- lambdapi.
For building the source code documentation, one needs
odoc. The starting file of the source
code html documentation is
For building the User Manual, see
The following commands can be used to clean up the repository:
make clean # Removes files generated by OCaml. make distclean # Same as clean, but also removes library checking files. make fullclean # Same as distclean, but also removes downloaded libraries.
with-test & >= "2.7"