Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

aya-prover/aya-dev

A proof assistant and a dependently-typed language

Owner: aya-prover (organization)
Stars: Stars: 366
Forks: Forks: 23
Language: Java
License: MIT
Created: 2020
Topics: ayaproof-assistantdependent-types
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in Java

aws/aws-advanced-jdbc-wrapperStars: 366JavaAlpha
sojourners/public-XiangqiStars: 366JavaAlpha
intave/intaveStars: 366JavaAlpha
jopt-simple/jopt-simpleStars: 366JavaAlpha
jankotek/JDBM3Stars: 366JavaAlpha
azagniotov/stubby4jStars: 366JavaAlpha