https://gitlab.com/formalcow/combinatorics-on-words-formalized
Tip revision: a4ae71365568015f2f8958c96856fd8b8e9a180a authored by Štěpán Starosta on 14 May 2021, 15:37:50 UTC
v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic
v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic
Tip revision: a4ae713
ROOT
chapter AFP
session CoW_Graph_Lemma (AFP) = CoW +
options [document = pdf, document_output = "output", timeout = 600, quick_and_dirty = false,
record_proofs = 0, parallel_proofs = 0, parallel_limit = 500,
document_variants = "document=-unimportant:manual=/proof,/ML,+unimportant"]
theories
Graph_Lemma
document_files
root.tex
root.bib