package abella

  1. Overview
  2. Docs
Interactive theorem prover based on lambda-tree syntax

Install

Dune Dependency

abella-prover.org Edit opam file Versions (7)

Authors

  1. A
    Andrew Gacek
  2. Y
    Yuting Wang
  3. K
    Kaustuv Chaudhuri

Maintainers

  1. K
    kaustuv@chaudhuri.info

Sources

v2.0.8.tar.gz
md5=91d1ed5ad95aab58c410e76e2e5516eb
sha512=a8e0e661e299f6c4dc16b9f040839cd6bdcc50705c2ddc95e69da47e1aaaed55ba6724afeb0d08639071e73a1161ee06ff71c06f170f660b07103ba54518db78

Description

Published: 01 Nov 2023

Dependencies (6)

  1. crunch >= "3.3.0" & build
  2. dune >= "3.11"
  3. yojson >= "2.1.1"
  4. menhir >= "20211012"
  5. cmdliner >= "1.2.0"
  6. ocaml >= "4.12.0"

Dev Dependencies (1)

  1. ounit2 with-test

Used by

None

Conflicts

None