https://gitlab.com/formalcow/combinatorics-on-words-formalized
History
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
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

README.md

back to top