Skip to content
Aya Prover
Search
K
Main Navigation
Guide
Publications
Blog
Appearance
"夕"
© 2021
PZY
.
Aya Prover
A proof assistant designed for formalizing math and type-directed programming.