HomeIsabelle/Phabricator
Diffusion afp-devel 334cb365ebec

new entry: Hypergraphs
334cb365ebec
Actions

Description

new entry: Hypergraphs

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPaf121f50106a: metadata and sitegen for Euler Polyhedron Formula
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP334cb365ebec: new entry: Hypergraphs.Sep 21 2023, 3:27 PM

Changes (10)

PathSize

rAFP334cb365ebec

View Options

thys/Hypergraph_Basics/Hypergraph.thy

Loading...
View Options

thys/Hypergraph_Basics/Hypergraph_Basics_Root.thy

Loading...
View Options

thys/Hypergraph_Basics/Hypergraph_Variations.thy

Loading...
View Options

thys/Hypergraph_Basics/ROOT

Loading...
View Options

thys/Hypergraph_Basics/document/root.bib

Loading...
View Options

thys/Hypergraph_Basics/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...