Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Flows in Networks

Email Gateway (Aug 22 2022 at 15:34):

From: Lawrence Paulson <lp15@cam.ac.uk>
Peter Lammich and S. Reza Sefidgar have just given us two entries on the classic problem of network flows. Details below. Many thanks!

Larry Paulson

Last updated: Feb 15 2026 at 05:19 UTC