https://gitlab.com/formalcow/combinatorics-on-words-formalized
Tip revision: b91127fcbb10612183a002e5e61128d002875c22 authored by Štěpán Starosta on 01 February 2021, 15:52:01 UTC
v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma
v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma
Tip revision: b91127f
File | Mode | Size |
---|---|---|
document | ||
.gitignore | -rw-r--r-- | 1.0 KB |
.gitlab-ci.yml | -rw-r--r-- | 1.2 KB |
Borders.thy | -rw-r--r-- | 45.1 KB |
Borders_Addition.thy | -rw-r--r-- | 4.4 KB |
CHANGELOG | -rw-r--r-- | 575 bytes |
CoWBasic.thy | -rw-r--r-- | 156.4 KB |
GraphLemma.thy | -rw-r--r-- | 27.5 KB |
LICENSE | -rw-r--r-- | 1.0 KB |
LyndonSchutzenberger.thy | -rw-r--r-- | 18.8 KB |
PeriodicityLemma.thy | -rw-r--r-- | 21.0 KB |
README.md | -rw-r--r-- | 3.9 KB |
ROOT | -rw-r--r-- | 563 bytes |
Submonoids.thy | -rw-r--r-- | 56.8 KB |