# aya-prover/aya-dev

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

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

aya-prover/aya-dev has 366 stars on GitHub. Its RepoMasters card: Alpha tier. A proof assistant and a dependently-typed language Language: Java.

| Field | Value |
| --- | --- |
| Owner | [aya-prover](https://repo.masters-masters.com/en/owners/aya-prover) |
| Stars | 366 |
| Forks | 23 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | MIT |
| Created | 2020 |
| Topics | aya, proof-assistant, dependent-types |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [aya-prover/aya-dev](https://github.com/aya-prover/aya-dev) |

## Repository

A proof assistant and a dependently-typed language

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Java

- [FusionAuth/java-http · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/FusionAuth/java-http)
- [sojourners/public-Xiangqi · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/sojourners/public-Xiangqi)
- [intave/intave · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/intave/intave)
- [jopt-simple/jopt-simple · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/jopt-simple/jopt-simple)
- [jankotek/JDBM3 · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/jankotek/JDBM3)
- [azagniotov/stubby4j · ★ 366 · Java · Alpha](https://repo.masters-masters.com/en/repos/azagniotov/stubby4j)

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