Maven
aya-prover/aya-dev
A proof assistant and a dependently-typed language
MITJul 18, 2026 · metrics 1.13.0
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.