Location via proxy:
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
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.
