FSMG

Formalisation of coherence for (symmetric) monoidal groupoids

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.gitignore		.gitignore
BS.v		BS.v
FMG.v		FMG.v
FMG_coherence.v		FMG_coherence.v
FMG_free.v		FMG_free.v
FSMG.v		FSMG.v
FSMG_coherence.v		FSMG_coherence.v
FSMG_free.v		FSMG_free.v
README.md		README.md
combinatorics.v		combinatorics.v
deloop.v		deloop.v
deloop_to_BS.v		deloop_to_BS.v
equiv_deloop_to_BS.v		equiv_deloop_to_BS.v
equiv_slist_deloop.v		equiv_slist_deloop.v
hott_lemmas.v		hott_lemmas.v
lists.v		lists.v
monoidalgroupoid.v		monoidalgroupoid.v
slists.v		slists.v
smonoidalgroupoid.v		smonoidalgroupoid.v

Provide feedback