Diffusion afp-devel c1ea0881dab4

Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy
c1ea0881dab4
Actions

Tags

None

Subscribers

None

Description

Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy

Details

Provenance

Walter Guttmann <walter.guttmann@canterbury.ac.nz>

Authored on

Parents

rAFPf8ded3c69c5d: more elementary swap

Branches

Unknown

Tags

Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPc1ea0881dab4: Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy.May 10 2021, 8:15 AM

Changes (2)

Path

Size

thys/

Relational_Minimum_Spanning_Trees/

document/

rAFPc1ea0881dab4

thys/Relational_Minimum_Spanning_Trees/Boruvka.thy

Loading...

thys/Relational_Minimum_Spanning_Trees/document/root.tex

Loading...