GitHub repository: pepijnkokke/AutoInAgda
Primary language: Agda
Description: An implementation of a first-order auto tactic for Agda, in Agda.