Diffusion afp-devel cc5747ff291e

Tuning.
cc5747ff291e
Actions

Tags

None

Subscribers

None

Description

Tuning.

Details

Provenance

Eugene W. Stark <stark@cs.stonybrook.edu>

Authored on

Parents

rAFP6772d0f44fcd: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFPcc5747ff291e: Tuning..Jan 14 2022, 4:08 AM

Changes (8)

Path

Size

thys/

Bicategory/

BicategoryOfSpans.thy

Prebicategory.thy

Pseudofunctor.thy

SpanBicategory.thy

Subbicategory.thy

Category3/

rAFPcc5747ff291e

thys/Bicategory/Bicategory.thy

Loading...

thys/Bicategory/BicategoryOfSpans.thy

Loading...

thys/Bicategory/Coherence.thy

Loading...

thys/Bicategory/Prebicategory.thy

Loading...

thys/Bicategory/Pseudofunctor.thy

Loading...

thys/Bicategory/SpanBicategory.thy

Loading...

thys/Bicategory/Subbicategory.thy

Loading...

thys/Category3/Adjunction.thy

Loading...