This is a Agda Library that aims to formalize clone theroy in the proof assistant language Agda. It depends on the Standard Library and the Agda Universal Algebra Standard Library.
gonzigaran / agda-clones Goto Github PK
View Code? Open in Web Editor NEWFormalizing the clone theory in type theory and Agda
License: MIT License