Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Linear Programming

view this post on Zulip Email Gateway (Aug 22 2022 at 20:37):

From: Lawrence Paulson <lp15@cam.ac.uk>
I am happy to announce a new entry, contributed by Julian Parsert and Cezary Kaliszyk:

You will find it online at https://www.isa-afp.org/entries/Linear_Programming.html

Larry

Last updated: Mar 07 2026 at 12:53 UTC