package abella

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

Install

Dune Dependency

Authors

Maintainers

Sources

v2.0.2
md5=d7d94e62e9c0a0dbeeded9fa0104e18f