aya-dev: A proof assistant and a dependently-typed language
Comments ⌘ Read more