org.aya-prover:tools-repl (maven): The Aya proof assistant
Keywords: aya|dependent-types|proof-assistant