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

sha256=b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c

md5=d7d94e62e9c0a0dbeeded9fa0104e18f

doc/index.html

abella