Formalizing the clone theory in type theory and Agda
-
Updated
Apr 3, 2025 - HTML
#
clone-theory
Here are 2 public repositories matching this topic...
Algorithms for generating clones above an algebra that has a majority term.
-
Updated
Oct 2, 2025 - Python
Add this topic to your repo
To associate your repository with the clone-theory topic, visit your repo's landing page and select "manage topics."