Diffusion afp-devel f56f08b18fb5

new entry Catoids
f56f08b18fb5
Actions

Tags

None

Subscribers

None

Description

new entry Catoids

Details

Provenance

Authored on

Parents

rAFP0d3bb169fc7c: New entry Polygonal_Number_Theorem

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPf56f08b18fb5: new entry Catoids.Aug 16 2023, 6:21 PM

Changes (59)

Path

Size

Catoid_Lifting.thy

Groupoid_Lifting.thy

Multimonoid.thy

authors/

struth/

data/

kad/

quantales/

quantales_converse

relation_algebra/

CHERI-C_Memory_Model.html

HyperHoareLogic.html

MLSS_Decision_Proc.html

Quantales_Converse.html

Relation_Algebra.html

statistics/

topics/

mathematics/

algebra/

category-theory/

rAFPf56f08b18fb5

metadata/entries/Catoids.toml

Loading...

thys/Catoids/Catoid.thy

Loading...

thys/Catoids/Catoid_Lifting.thy

Loading...

thys/Catoids/Groupoid.thy

Loading...

thys/Catoids/Groupoid_Lifting.thy

Loading...

thys/Catoids/Multimonoid.thy

Loading...

thys/Catoids/ROOT

Loading...

thys/Catoids/document/root.bib

Loading...

thys/Catoids/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/struth/index.html

Loading...

web/authors/struth/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/kad/index.html

Loading...

web/dependencies/kad/index.xml

Loading...

web/dependencies/quantales/index.html

Loading...

web/dependencies/quantales/index.xml

Loading...

web/dependencies/quantales_converse/index.html

Loading...

web/dependencies/quantales_converse/index.xml

Loading...

web/dependencies/relation_algebra/index.html

Loading...

web/dependencies/relation_algebra/index.xml

Loading...

web/entries/CHERI-C_Memory_Model.html

Loading...

web/entries/Catoids.html

Loading...

web/entries/CommCSL.html

Loading...

web/entries/HyperHoareLogic.html

Loading...

web/entries/KAD.html

Loading...

web/entries/MLSS_Decision_Proc.html

Loading...

web/entries/Quantales.html

Loading...

web/entries/Quantales_Converse.html

Loading...

web/entries/Relation_Algebra.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/catoids/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/algebra/index.html

Loading...

web/topics/mathematics/algebra/index.xml

Loading...

web/topics/mathematics/category-theory/index.html

Loading...

web/topics/mathematics/category-theory/index.xml

Loading...

web/topics/mathematics/index.html

Loading...

web/topics/mathematics/index.xml

Loading...