GitHub repository: manugunther/agda-universal-algebra
Primary language: Agda
Created: 2018-04-10T20:02:49Z
Description: Formalization of Universal Algebra in Agda