# aya-prover/aya-dev

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

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

aya-prover/aya-dev, dépôt open source à 366 étoiles sur GitHub. Carte Alpha de RepoMasters. A proof assistant and a dependently-typed language Langage : Java.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [aya-prover](https://repo.masters-masters.com/owners/aya-prover) |
| Étoiles | 366 |
| Forks | 23 |
| Langage | [Java](https://repo.masters-masters.com/languages/java) |
| Licence | MIT |
| Création | 2020 |
| Sujets | aya, proof-assistant, dependent-types |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [aya-prover/aya-dev](https://github.com/aya-prover/aya-dev) |

## Fiche du dépôt

A proof assistant and a dependently-typed language

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Java

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.