agda-tac (cargo): Agda - Tactical And Comprehensible
Keywords: agda|command-line-tool