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