# abella-prover/abella

<https://repo.masters-masters.com/en/repos/abella-prover/abella>

[Home](https://repo.masters-masters.com/en) › [abella-prover](https://repo.masters-masters.com/en/owners/abella-prover) › [abella](https://repo.masters-masters.com/en/repos/abella-prover/abella)

abella-prover/abella has 101 stars on GitHub. Its RepoMasters card: Prototype tier. An interactive theorem prover based on lambda-tree syntax Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [abella-prover](https://repo.masters-masters.com/en/owners/abella-prover) |
| Stars | 101 |
| Forks | 22 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | GPL-3.0 |
| Created | 2009 |
| Topics | lambda-calculus, meta-theory, interactive-theorem-proving |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [abella-prover/abella](https://github.com/abella-prover/abella) |

## Repository

An interactive theorem prover based on lambda-tree syntax

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in OCaml

- [dbuenzli/vg · ★ 101 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/dbuenzli/vg)
- [squaresLab/genprog-code · ★ 101 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/squaresLab/genprog-code)
- [utkarshkukreti/reaml · ★ 101 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/utkarshkukreti/reaml)
- [nv-vn/TelegraML · ★ 100 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/nv-vn/TelegraML)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.