Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Full name: Relational Minimum S...

view this post on Zulip Email Gateway (Dec 08 2020 at 12:15):

From: Tobias Nipkow <>
Relational Minimum Spanning Tree Algorithms
Walter Guttmann, Nicolas Robinson-O'Brien

We verify the correctness of Prim's, Kruskal's and Borůvka's minimum spanning
tree algorithms based on algebras for aggregation and minimisation.


Last updated: Dec 08 2021 at 09:20 UTC