# GitHub repos by abella-prover

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

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

The public GitHub repo by abella-prover in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by abella-prover

1 public repo by abella-prover in the catalog, most starred first.

- [abella-prover/abella · ★ 101 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/abella-prover/abella)

## See abella-prover on GitHub

- [https://github.com/abella-prover](https://github.com/abella-prover)

---
Data: GitHub