https://gitlab.com/formalcow/combinatorics-on-words-formalized
History
Tip revision: a4ae71365568015f2f8958c96856fd8b8e9a180a authored by Štěpán Starosta on 14 May 2021, 15:37:50 UTC
v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic
Tip revision: a4ae713
File Mode Size
document
Arithmetical_Hints.thy -rw-r--r-- 2.0 KB
CoWAll.thy -rw-r--r-- 167 bytes
CoWBasic.thy -rw-r--r-- 167.3 KB
Lyndon_Schutzenberger.thy -rw-r--r-- 19.8 KB
Periodicity_Lemma.thy -rw-r--r-- 24.2 KB
ROOT -rw-r--r-- 535 bytes
Reverse_Symmetry.thy -rw-r--r-- 13.6 KB
Submonoids.thy -rw-r--r-- 56.3 KB

back to top