package abella

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

Install 

dune-project
 Dependency

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

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

doc/index.html

abella