Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags give the ability to mark specific points in history as being important
v1.7.1
0ec1911a
·
fix CoW_Collection.thy
·
Aug 24, 2022
Release:
v1.7.1
v1.6
9c1fbbc8
·
v1.6.0: large update of session CoW_Equations - primitivity not preserving binary codes
·
Feb 17, 2022
Release:
v1.6
v1.2
f59c4481
·
v1.2: quickfix of ExampleBasic.thy
·
Feb 22, 2021
v1.1
b91127fc
·
v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma
·
Feb 01, 2021
Release:
v1.1: initial release