GitHub repository: Akshobhya1234/Agda-Algebra
Primary language: Agda
Description: A new Algebra library for Agda