Rare find

aya-dev. A proof assistant and a dependently-typed language

github.com/aya-prover/aya-dev

by

@aya-prover

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.