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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.