The Aya Theorem Prover
https://www.aya-prover.org
Repositories
Issues
Comments
Results
1
repositories owned by
The Aya Theorem Prover
aya-dev
251
Stars
16
Forks
Watchers
A proof assistant
aya-prover
aya
dependent-types
proof-assistant