# content
aya-dev: A proof assistant and a dependently-typed language (via 5d22b) — discussion

#formalmethods #plt