package abella

You can search for identifiers within the package.

in-package search v0.2.0

Interactive theorem prover based on lambda-tree syntax

Install

Dune Dependency

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

Authors

Maintainers

K

kaustuv@chaudhuri.info

Sources

md5=91d1ed5ad95aab58c410e76e2e5516eb

sha512=a8e0e661e299f6c4dc16b9f040839cd6bdcc50705c2ddc95e69da47e1aaaed55ba6724afeb0d08639071e73a1161ee06ff71c06f170f660b07103ba54518db78

doc/index.html

abella