CatMaude

Categories in Maude

Specifications of Categories with certain structure in Maude, and trying to prove some properties

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
BeforeAssoc		BeforeAssoc
DistrAsInverse		DistrAsInverse
IntsAsProj		IntsAsProj
README.md		README.md
boolean.maude		boolean.maude
category.maude		category.maude
conc-with-expl-assoc.txt		conc-with-expl-assoc.txt
distributive.maude		distributive.maude
endofunctor.maude		endofunctor.maude
incstr.maude		incstr.maude
incstr.prj		incstr.prj
naturals.maude		naturals.maude
naturals.prj		naturals.prj
parameter.maude		parameter.maude
product-assoc.maude		product-assoc.maude
product.maude		product.maude
sequences.maude		sequences.maude
sequences.prj		sequences.prj
streams.maude		streams.maude
streams.prj		streams.prj
sum.maude		sum.maude
terminal.maude		terminal.maude

Provide feedback