[isabelle] linear programming



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.