The Aya Theorem Prover

icon indicating a website link https://www.aya-prover.org

Results 1 repositories owned by The Aya Theorem Prover

aya-dev

251
Stars
16
Forks
Watchers

A proof assistant

verified publisher icon aya-prover