https://gitlab.com/formalcow/combinatorics-on-words-formalized
Tip revision: f59c4481799f9eee076b37cb3a97f08b2cf49e10 authored by Štěpán Starosta on 22 February 2021, 15:34:45 UTC
v1.2: quickfix of ExampleBasic.thy
v1.2: quickfix of ExampleBasic.thy
Tip revision: f59c448
| File | Mode | Size |
|---|---|---|
| document | ||
| examples | ||
| .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-- | 858 bytes |
| CoWAll.thy | -rw-r--r-- | 311 bytes |
| CoWBasic.thy | -rw-r--r-- | 160.8 KB |
| GraphLemma.thy | -rw-r--r-- | 27.5 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| LyndonSchutzenberger.thy | -rw-r--r-- | 18.8 KB |
| Overlaps.thy | -rw-r--r-- | 16.3 KB |
| PeriodicityLemma.thy | -rw-r--r-- | 25.2 KB |
| README.md | -rw-r--r-- | 5.2 KB |
| ROOT | -rw-r--r-- | 577 bytes |
| Submonoids.thy | -rw-r--r-- | 47.8 KB |
