mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

Linear programming

Open jcommelin opened this issue 5 years ago • 0 comments

https://en.wikipedia.org/wiki/Linear_programming

jcommelin avatar May 05 '20 04:05 jcommelin