Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

aya-prover/aya-dev

A proof assistant and a dependently-typed language

Propriétaire: aya-prover (organisation)
Étoiles: Étoiles : 366
Forks: Forks : 23
Langage: Java
Licence: MIT
Création: 2020
Sujets: ayaproof-assistantdependent-types
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Java

Tous les dépôts Java

aws/aws-advanced-jdbc-wrapperÉtoiles : 366JavaAlpha
sojourners/public-XiangqiÉtoiles : 366JavaAlpha
intave/intaveÉtoiles : 366JavaAlpha
jopt-simple/jopt-simpleÉtoiles : 366JavaAlpha
jankotek/JDBM3Étoiles : 366JavaAlpha
azagniotov/stubby4jÉtoiles : 366JavaAlpha