Revision a4ae71365568015f2f8958c96856fd8b8e9a180a authored by Štěpán Starosta on 14 May 2021, 15:37:50 UTC, committed by Štěpán Starosta on 14 May 2021, 15:37:50 UTC
1 parent b3c165a
History
File Mode Size
CoW
CoW_Equations
CoW_Graph_Lemma
CoW_Lyndon
ci-scripts
document
examples
.gitignore -rw-r--r-- 1.0 KB
.gitlab-ci.yml -rw-r--r-- 2.4 KB
CHANGELOG -rw-r--r-- 1.9 KB
CoW_Collection.thy -rw-r--r-- 130 bytes
LICENSE -rw-r--r-- 1.4 KB
README.md -rw-r--r-- 5.7 KB
ROOTS -rw-r--r-- 46 bytes

README.md

back to top