Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.The post Aya – proof assistant and dependently-typed programming language appeared first on LinuxLinks.