https://gitlab.com/formalcow/combinatorics-on-words-formalized
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
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 |
---|---|---|
CoW | ||
CoW_Equations | ||
CoW_Graph_Lemma | ||
CoW_Lyndon | ||
ci-scripts | ||
document | ||
examples | ||
.gitignore | -rw-r--r-- | 1.0 KB |
.gitlab-ci.yml | -rw-r--r-- | 2.4 KB |
CHANGELOG | -rw-r--r-- | 1.9 KB |
CoW_Collection.thy | -rw-r--r-- | 130 bytes |
LICENSE | -rw-r--r-- | 1.4 KB |
README.md | -rw-r--r-- | 5.7 KB |
ROOTS | -rw-r--r-- | 46 bytes |