Re: [isabelle] linear programming



Hi.

Filip Maric has formalized simplex.

http://argo.matf.bg.ac.rs/downloads/formalizations/Simplex.zip

--
  Peter

On Fr, 2014-10-03 at 21:13 +0200, Gergely Buday wrote:
> Hi,
> 
> I did a search on afp but I have not found any formalisation of linear
> programming.
> 
> Do you know of any attempt?
> 
> - Gergely
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.