this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Proof assistant for the λΠ-calculus modulo rewriting"
3description: """
4Lambdapi is an interactive proof assistant for the λΠ-calculus modulo
5rewriting. It can call external automated theorem provers via Why3.
6The user manual is on https://lambdapi.readthedocs.io/.
7A standard library and other developments are available on
8https://github.com/Deducteam/opam-lambdapi-repository/. An extension
9for Emacs is available on MELPA. An extension for VSCode is available
10on the VSCode Marketplace. Lambdapi can read Dedukti files. It
11includes checkers for local confluence and subject reduction. It also
12provides commands to export Lambdapi files to other formats or
13systems: Dedukti, Coq, HRS, CPF.
14"""
15maintainer: ["dedukti-dev@inria.fr"]
16authors: ["Deducteam"]
17license: "CECILL-2.1"
18homepage: "https://github.com/Deducteam/lambdapi"
19bug-reports: "https://github.com/Deducteam/lambdapi/issues"
20dev-repo: "git+https://github.com/Deducteam/lambdapi.git"
21depends: [
22 "dune" {>= "3.7"}
23 "ocaml" {>= "4.09.0"}
24 "menhir" {>= "20200624"}
25 "sedlex" {>= "3.2"}
26 "alcotest" {with-test}
27 "dedukti" {with-test & >= "2.7"}
28 "bindlib" {>= "6.0.0"}
29 "timed" {>= "1.0"}
30 "pratter" {>= "3.0.0" & < "4"}
31 "camlp-streams" {>= "5.0"}
32 "why3" {>= "1.8.0"}
33 "yojson" {>= "1.6.0"}
34 "cmdliner" {>= "1.1.0"}
35 "stdlib-shims" {>= "0.1.0"}
36 "odoc" {with-doc}
37 "lwt_ppx" {>= "1.0.0"}
38 "dream" {>= "1.0.0~alpha3"}
39]
40build: [
41 ["dune" "subst"] {dev}
42 [
43 "dune"
44 "build"
45 "-p"
46 name
47 "-j"
48 jobs
49 "@install"
50 "@runtest" {with-test}
51 "@doc" {with-doc}
52 ]
53]
54conflicts: [ "ocaml-option-bytecode-only" ]
55url {
56 src:
57 "https://github.com/Deducteam/lambdapi/releases/download/2.6.0/lambdapi-2.6.0.tbz"
58 checksum: [
59 "sha256=d01e5f13db2eaba6e4fe330667149e0059d4886c651ff9d6b672db2dfc9765ed"
60 "sha512=33b68c972aca37985ed73c527076198e7d4961c7e27c89cdabfe4d1cff97cd41ccfb85ae9499eb98ad9a0aefd920bc55555df6393fc441ac2429e4d99cddafa8"
61 ]
62}
63x-commit-hash: "29be5f84a19e46fd5f1482f1b7e84eddaf9fd49c"
64