HomeIsabelle/Phabricator
Diffusion afp-devel f71500561ddd

new entry StrictOmegaCategories
f71500561ddd
Actions

Description

new entry StrictOmegaCategories

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFP2eadd58953b2: tuned css;
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPf71500561ddd: new entry StrictOmegaCategories.Jan 16 2023, 1:59 PM

Changes (10)

PathSize

rAFPf71500561ddd

View Options

thys/ROOTS

Loading...
View Options

thys/StrictOmegaCategories/Globular_Set.thy

Loading...
View Options

thys/StrictOmegaCategories/Pasting_Diagram.thy

Loading...
View Options

thys/StrictOmegaCategories/ROOT

Loading...
View Options

thys/StrictOmegaCategories/Strict_Omega_Category.thy

Loading...
View Options

thys/StrictOmegaCategories/document/root.bib

Loading...
View Options

thys/StrictOmegaCategories/document/root.tex

Loading...