Diffusion afp-devel 2482f4650245

new entry Undirected_Graph_Theory
2482f4650245
Actions

Tags

None

Subscribers

None

Description

new entry Undirected_Graph_Theory

Details

Provenance

Authored on

Parents

rAFP21836ba5b3e6: typo

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP2482f4650245: new entry Undirected_Graph_Theory.Oct 1 2022, 10:42 AM

Changes (46)

Path

Size

Undirected_Graph_Theory.toml

Undirected_Graph_Theory

Bipartite_Graphs.thy

Connectivity.thy

Girth_Independence.thy

Graph_Theory_Relations.thy

Graph_Triangles.thy

Undirected_Graph_Basics.thy

Undirected_Graph_Walks.thy

Undirected_Graphs_Root.thy

authors/

edmonds/

data/

dependencies/

design_theory/

girth_chromatic/

Design_Theory.html

Girth_Chromatic.html

Undirected_Graph_Theory.html

statistics/

undirected_graph_theory

topics/

mathematics/

graph-theory/

rAFP2482f4650245

metadata/entries/Undirected_Graph_Theory.toml

Loading...

thys/ROOTS

Loading...

thys/Undirected_Graph_Theory/Bipartite_Graphs.thy

Loading...

thys/Undirected_Graph_Theory/Connectivity.thy

Loading...

thys/Undirected_Graph_Theory/Girth_Independence.thy

Loading...

thys/Undirected_Graph_Theory/Graph_Theory_Relations.thy

Loading...

thys/Undirected_Graph_Theory/Graph_Triangles.thy

Loading...

thys/Undirected_Graph_Theory/ROOT

Loading...

thys/Undirected_Graph_Theory/Undirected_Graph_Basics.thy

Loading...

thys/Undirected_Graph_Theory/Undirected_Graph_Walks.thy

Loading...

thys/Undirected_Graph_Theory/Undirected_Graphs_Root.thy

Loading...

thys/Undirected_Graph_Theory/document/root.bib

Loading...

thys/Undirected_Graph_Theory/document/root.log

Loading...

thys/Undirected_Graph_Theory/document/root.tex

Loading...

web/authors/edmonds/index.html

Loading...

web/authors/edmonds/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/design_theory/index.html

Loading...

web/dependencies/design_theory/index.xml

Loading...

web/dependencies/girth_chromatic/index.html

Loading...

web/dependencies/girth_chromatic/index.xml

Loading...

web/dependencies/index.html

Loading...

web/entries/Design_Theory.html

Loading...

web/entries/Girth_Chromatic.html

Loading...

web/entries/Undirected_Graph_Theory.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/index.xml

Loading...

web/theories/undirected_graph_theory/index.html

Loading...

web/topics/index.html

Loading...

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

Loading...

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

Loading...