https://gitlab.com/formalcow/combinatorics-on-words-formalized
Name Target Message Date
HEAD a4ae713 v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic 14 May 2021, 15:37:50 UTC
refs/heads/Archive-Reversal-Symmetry d1a825e added Examples.thy, updated Readme and CoWBasic.thy 31 March 2021, 08:54:56 UTC
refs/heads/Binary-Intersection-Formalized 314a584 added arxiv link to Binary Intersection Formalized 01 July 2020, 07:02:59 UTC
refs/heads/master a4ae713 v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic 14 May 2021, 15:37:50 UTC
refs/tags/v1.1 b91127f v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma CHANGELOG 01 February 2021, 15:52:01 UTC
refs/tags/v1.2 f59c448 v1.2: quickfix of ExampleBasic.thy 22 February 2021, 15:34:45 UTC
back to top